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 |