Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 1.

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

Research output: Book/ReportBook

Original languageEnglish
PublisherOxford University Press
Publication statusPublished - 1994

Cite this