APA (7th ed.) Citation

Navet, N., & Merz, S. (2008). Modeling and verification of real-time systems: Formalisms and software tools. ISTE ; John Wiley.

Chicago Style (17th ed.) Citation

Navet, Nicolas, and Stephan Merz. Modeling and Verification of Real-time Systems: Formalisms and Software Tools. London : Hoboken, NJ: ISTE ; John Wiley, 2008.

MLA (9th ed.) Citation

Navet, Nicolas, and Stephan Merz. Modeling and Verification of Real-time Systems: Formalisms and Software Tools. ISTE ; John Wiley, 2008.