Per Hasle Peter Øhrstrøm Temporal Logic (Hardback) (UK IMPORT)

Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects by

The Temporal Logic of Reactive and Concurrent Systems: Specification

Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron

Temporal Logic: Volume 2 - 9780198537687

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish

Temporal Logic: From Ancient Ideas to Artificial Intelligence by Per Hasle (Engl

Temporal Logic : Mathematical Foundations and Computational Aspects, Hardcove...