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

Temporal Logic: Volume 1, , Hardback

Algebraic Foundations of Systems Specification by Egidio Astesiano (English) Pap

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

Advances in Temporal Logic by Michael Fisher (English) Hardcover Book

Advances in Temporal Logic

Advances in Temporal Logic by Howard Barringer (English) Paperback Book

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