OLDEROG, Ernst-Rüdiger und DIERKS, Henning, 2008. Real-time systems : formal specification and automatic verification. Cambridge: Cambridge University Press. ISBN 9780511619953.
Elsevier - Harvard (with titles)Olderog, E.-R., Dierks, H., 2008. Real-time systems : formal specification and automatic verification. Cambridge University Press, Cambridge.
American Psychological Association 7th editionOlderog, E.-R., & Dierks, H. (ca. 2008). Real-time systems : formal specification and automatic verification [Cd]. Cambridge University Press.
Springer - Basic (author-date)Olderog E-R, Dierks H (2008) Real-time systems : formal specification and automatic verification. Cambridge University Press, Cambridge
Juristische Zitierweise (Stüber) (Deutsch)Olderog, Ernst-Rüdiger/ Dierks, Henning, Real-time systems : formal specification and automatic verification, Cambridge 2008.