Determinism and the Origins of Temporal Logic

Peter Øhrstrøm, Torben Braüner, Per Hasle

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

Cite this