Model-Checking Discrete Duration Calculus
Michael R. Hansen
Type
Journal paper [With referee]
Journal
Formal Aspects of Computing
Year
1994
Vol.
6A
pp.
826-845
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering