Stéphane Demri, Valentin Goranko, Martin Lange 0001. Temporal Logics in Computer Science. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2016. [doi]
@book{Demri2016,
title = {Temporal Logics in Computer Science},
author = {Stéphane Demri and Valentin Goranko and Martin Lange 0001},
year = {2016},
url = {http://www.cambridge.org/core_title/gb/434611},
researchr = {https://researchr.org/publication/Demri2016},
cites = {0},
citedby = {0},
series = {Cambridge Tracts in Theoretical Computer Science},
publisher = {Cambridge University Press},
isbn = {9781107028364},
}