A Duration Semantics for Real-Time Reactive Systems
Type
Technical report
Year
1993
Publisher
Report no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering