Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2.

Dov M. Gabbay, Mark Reynolds, Marcelo Finger

Research output: Book/ReportBook

Original languageEnglish
PublisherOxford University Press
Publication statusPublished - 2000

Cite this