Duration Calculus | Michael R. Hansen
| | Type | Book [Chapter] | | Book title | Logics of Specification Languages | | Editors | | | Year | 2007 pp. 291-341 | | Publisher | Springer-Verlag | | Series | EATCS: Monographs in Theoretical Computer Science | | Note | to appear | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|