Duration Calculus: A Formal Approach to Real-Time Systems | Chaochen Zhou, Michael R. Hansen
| | Type | Book [Author] | | Year | 2004 pp. 257 | | Publisher | Springer | | Series | EATCS: Monographs in Theoretical Computer Science | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|