Groote, J. F. (1990). Specification and verification of real time systems in ACP.
Chicago-Zitierstil (17. Ausg.)Groote, Jan F. Specification and Verification of Real Time Systems in ACP. Amsterdam, 1990.
MLA-Zitierstil (9. Ausg.)Groote, Jan F. Specification and Verification of Real Time Systems in ACP. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.