Temporal Logics in Computer Science: Finite-State S... by Lange, Martin Hardback

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

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

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

Logics in Computer Science - 9789491216947