APA-Zitierstil (7. Ausg.)

Merz, S. (2008). Modeling and verification of real-time systems: Formalisms and software tools (1. publ.). ISTE [u.a.].

Chicago-Zitierstil (17. Ausg.)

Merz, Stephan. Modeling and Verification of Real-time Systems: Formalisms and Software Tools. 1. publ. London: ISTE [u.a.], 2008.

MLA-Zitierstil (9. Ausg.)

Merz, Stephan. Modeling and Verification of Real-time Systems: Formalisms and Software Tools. 1. publ. ISTE [u.a.], 2008.