Determinism and the Origins of Temporal Logic

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Original languageEnglish
Title of host publicationAdvances in Temporal Logic
EditorsBarring, H. ...[et al.] (eds.)
Publication date2000
Publication statusPublished - 2000
Externally publishedYes

ID: 167127050