Temporal logic

Dov M Gabbay, Marcelo Finger, Mark Reynolds

Research output: Book/ReportBook

Original languageEnglish
PublisherUnknown Publisher
ISBN (Print)0198537689
Publication statusPublished - 2000

Cite this