Duration Calculus
Michael R. Hansen
Type
Misc [Other]
Journal/Book/Conference
Summer school in Logics og Formal Specification Languages
Editors
Year
2004
pp.
364-385
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering