Reviews matching “Temporal Logics in Computer Science — Finite-State Systems”

2 results

BookAuthorReviewerJournalDate
Temporal Logics in Computer Science — Finite-State Systems S. Demri Sophie Pinchinat Studia Logica 2019-10-01
Temporal Logics in Computer Science — Finite-State Systems Stéphane Demri Kamal Lodaya The Bulletin of Symbolic Logic 2017-06-00

Open this search with filters