A Theory of Duration Calculus with Applications |
Michael R. Hansen, Dang Van Hung
|
| Type | Book [Chapter] |
| Book title | Domain Modelling and the Duration Calculus |
| Editors | Cliff Jones and Jim Woodcock |
| Year | 2007 |
| Publisher | Springer-Verlag |
| Series | LNCS |
| Note | to appear |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |