APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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