Model-checking dense-time duration calculus |
|
| Type | Conference paper [With referee] |
| Conference | Duration Calculus: A Logical Approach to Real-Time Systems, Workshop proceedings of the 10th European Summer School in Logic, |
| Editors | Michael R. Hansen |
| Year | 1998 Month August pp. 31-40 |
| Publisher | DFKI |
| Address | |
| Publication link | http://www.imm.dtu.dk/~mf/ESSLLI98.ps.gz |
| BibTeX data | [bibtex] |
| IMM Group(s) | Mathematical Physics |