Title: Temporal Logics in Computer Science
Subjects: Logic, Computer science