Demri, S. P. (2016). Temporal logics in computer science: Finite-state systems. Cambridge University Press. https://doi.org/10.1017/CBO9781139236119
Chicago-Zitierstil (17. Ausg.)Demri, Stéphane P. Temporal Logics in Computer Science: Finite-state Systems. Cambridge: Cambridge University Press, 2016. https://doi.org/10.1017/CBO9781139236119.
MLA-Zitierstil (9. Ausg.)Demri, Stéphane P. Temporal Logics in Computer Science: Finite-state Systems. Cambridge University Press, 2016. https://doi.org/10.1017/CBO9781139236119.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.