APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.