Duration Calculus: Logical Foundations

Michael R. Hansen, Zhou Chaochen

TypeJournal paper [With referee]
JournalFormal Aspects of Computing
Year1997    Vol. 9    pp. 283-330
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering