Temporal Logics in Computer Science: Finite-State Systems By Ste

Spatio-Temporal Methods in - Hardcover, by Shaddick Gavin; Zidek - Very Good

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in,

Temporal Logics in Computer Science: Finite-State Systems: 58 (C

Temporal Logics in Computer Science: Finite-State Systems: 58

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024 by Atul C

Logics for Computer Science by Anita Wasilewska - 9783319925905

Modal and Temporal Properties of Processes (Texts in Computer Science) by