Special Issue on Duration Calculus |
Cliff Jones, Michael R. Hansen
|
| Type | Journal paper [With referee] |
| Journal | Formal Aspects of Computing , editorial notes by Clif Jones and Michael R. Hansen |
| Year | 2004 Vol. 16 No. 2 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |