swMATH28500MaRDI QIDQ40214FDOQ40214
Author name not available (Why is that?)
Official website: https://www.aisb.org.uk/convention/aisb08/proc/proceedings/09%20Logic%20and%20Simulation/06.pdf
Cited In (2)
This page was built for software: Gwendolen
