APA

Olderog E., Dierks H., . (2008). Real-time systems: formal specification and automatic verification. Cambridge [u.a.]: Cambridge University Press.

Chicago

Olderog Ernst-Rüdiger, Dierks Henning, . 2008. Real-time systems: formal specification and automatic verification. Cambridge [u.a.]: Cambridge University Press.

Harvard

Olderog E., Dierks H., . (2008). Real-time systems: formal specification and automatic verification. Cambridge [u.a.]: Cambridge University Press.

MLA

Olderog Ernst-Rüdiger, Dierks Henning, . Real-time systems: formal specification and automatic verification. Cambridge [u.a.]: Cambridge University Press. 2008.