APA-Zitierstil (7. Ausg.)

Olderog, E., & Dierks, H. (2008). Real-time systems: Formal specification and automatic verification (1. publ.). Cambridge Univ. Press.

Chicago-Zitierstil (17. Ausg.)

Olderog, Ernst-Rüdiger, und Henning Dierks. Real-time Systems: Formal Specification and Automatic Verification. 1. publ. Cambridge [u.a.]: Cambridge Univ. Press, 2008.

MLA-Zitierstil (9. Ausg.)

Olderog, Ernst-Rüdiger, und Henning Dierks. Real-time Systems: Formal Specification and Automatic Verification. 1. publ. Cambridge Univ. Press, 2008.