TY  - BOOK
AU  - Demri, Stephane
AU  - Goranko, Valentin
AU  - Lange, Martin
TI  - Temporal Logics in Computer Science : Finite State Systems
T2  - Cambridge Tracts in Theoretical Computer Science
SN  - 9781107028364
PY  - 2016///
CY  - New York
PB  - Cambridge University Press
KW  - Computer Science
KW  - Temporal Logic
N1  - Hardcover
ER  -