APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.