Title: Temporal logics and their applications
Subjects: Computer programming, Symbolic and mathematical Logic, Programming languages (Electronic computers), Temporal constructions, Logic, symbolic and mathematical