APA (7th ed.) Citation

Demri, S. P. (2016). Temporal logics in computer science: Finite-state systems. Cambridge University Press. https://doi.org/10.1017/CBO9781139236119

Chicago Style (17th ed.) Citation

Demri, Stéphane P. Temporal Logics in Computer Science: Finite-state Systems. Cambridge: Cambridge University Press, 2016. https://doi.org/10.1017/CBO9781139236119.

MLA (9th ed.) Citation

Demri, Stéphane P. Temporal Logics in Computer Science: Finite-state Systems. Cambridge University Press, 2016. https://doi.org/10.1017/CBO9781139236119.