A Robust Interpretation of Duration Calculus |
|
| Keywords | Temporal logic, metric time, approximability |
| Type | Conference paper [Abstract] |
| Conference | Nordic Workshop on Programming Theory 2004 |
| Year | 2004 Month October |
| Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
| Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |