Duration Calculus: Logical Foundations
Michael R. Hansen, Zhou Chaochen
Type
Journal paper [With referee]
Journal
Formal Aspects of Computing
Year
1997
Vol.
9
pp.
283-330
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering