Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.
DOI10.1017/BSL.2017.20zbMATH Open1417.00038OpenAlexW2635492540MaRDI QIDQ5363373FDOQ5363373
Authors: Kamal Lodaya 
Publication date: 6 October 2017
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2017.20
Research exposition (monographs, survey articles) pertaining to computer science (68-02) External book reviews (00A17) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (1)
This page was built for publication: Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5363373)
