APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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