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.20MaRDI QIDQ5363373zbMATH OpenOpenAlexFDO

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)

Book review of: A. Platzer, Logical foundations of cyber-physical systems

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)