APA (7th ed.) Citation

Olderog ,E.R, & Dierks ,Henning. (2008). Real time systems: Formal specification and automatic verification. Cambridge University Press.

Chicago Style (17th ed.) Citation

Olderog ,E.R, and Dierks ,Henning. Real Time Systems: Formal Specification and Automatic Verification. Cambridge, UK, New York: Cambridge University Press, 2008.

MLA (9th ed.) Citation

Olderog ,E.R, and Dierks ,Henning. Real Time Systems: Formal Specification and Automatic Verification. Cambridge University Press, 2008.

Warning: These citations may not always be 100% accurate.