Duration Calculus: A Logical Approach to Real-Time Systems
Editor(s):
Michael R. Hansen
Type
Book [Editorship]
Year
1998
Publisher
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering