APA (7th ed.) Citation

Demri, S., Goranko, V., & Lange, M. (2016). Temporal logics in computer science: Finite-state systems. Cambridge University Press.

Chicago Style (17th ed.) Citation

Demri, Stéphane, Valentin Goranko, and Martin Lange. Temporal Logics in Computer Science: Finite-state Systems. Cambridge: Cambridge University Press, 2016.

MLA (9th ed.) Citation

Demri, Stéphane, et al. Temporal Logics in Computer Science: Finite-state Systems. Cambridge University Press, 2016.