A Robust Interpretation of Duration Calculus

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

162 Downloads (Pure)

Original language	English
Title of host publication	Nordic Workshop on Programming Theory 2004
Number of pages	2
Publisher	Informatics and Mathematical Modelling, Technical University of Denmark, DTU
Publication date	2004
Publication status	Published - 2004
Event	Nordic Workshop on Programming Theory 2004 - Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby Duration: 1 Jan 2004 → …

Conference	Nordic Workshop on Programming Theory 2004
City	Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby
Period	01/01/2004 → …

Keywords

@inproceedings{fa63e2d83e6f4933b3205ce095b2b837,

title = "A Robust Interpretation of Duration Calculus",

keywords = "metric time, Temporal logic, approximability",

author = "Martin Fr{\"a}nzle and Hansen, {Michael Reichhardt}",

year = "2004",

language = "English",

booktitle = "Nordic Workshop on Programming Theory 2004",

publisher = "Informatics and Mathematical Modelling, Technical University of Denmark, DTU",

note = "Nordic Workshop on Programming Theory 2004 ; Conference date: 01-01-2004",

}

TY - GEN

T1 - A Robust Interpretation of Duration Calculus

AU - Fränzle, Martin

AU - Hansen, Michael Reichhardt

PY - 2004

Y1 - 2004

KW - metric time

KW - Temporal logic

KW - approximability

M3 - Article in proceedings

BT - Nordic Workshop on Programming Theory 2004

PB - Informatics and Mathematical Modelling, Technical University of Denmark, DTU

T2 - Nordic Workshop on Programming Theory 2004

Y2 - 1 January 2004

ER -