Decidability of a hybrid duration calculus
Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen
Type
Conference paper [With referee]
Conference
HyLo 2006
Year
2006
pp.
104-123
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering