Cita APA (7a ed.)

(2008). Modeling and verification of real-time systems: Formalisms and software tools / edited by Stephan Merz, Nicolas Navet.

Cita Chicago Style (17a ed.)

Modeling and Verification of Real-time Systems: Formalisms and Software Tools / Edited by Stephan Merz, Nicolas Navet. 2008.

Cita MLA (9a ed.)

Modeling and Verification of Real-time Systems: Formalisms and Software Tools / Edited by Stephan Merz, Nicolas Navet. 2008.