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

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

The Morgan Kaufmann Series in Data Management Systems Ser.: Temporal Data and...

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

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive Systems Vol. 1 : Specification Har

Temporal Databases: Research and Practice (Lecture Notes in Computer Science, 1