Stéphane Demri, Paul Gastin. Specification and Verification using Temporal Logics. In Modern Applications of Automata Theory. pages 457-494, 2012. [doi]
@incollection{DemriG12,
title = {Specification and Verification using Temporal Logics},
author = {Stéphane Demri and Paul Gastin},
year = {2012},
doi = {10.1142/9789814271059_0015},
url = {http://dx.doi.org/10.1142/9789814271059_0015},
researchr = {https://researchr.org/publication/DemriG12},
cites = {0},
citedby = {0},
pages = {457-494},
booktitle = {Modern Applications of Automata Theory},
}