A Robust Interpretation of Duration Calculus



KeywordsTemporal logic, metric time, approximability
TypeConference paper [Abstract]
ConferenceNordic Workshop on Programming Theory 2004
Year2004    Month October
PublisherInformatics and Mathematical Modelling, Technical University of Denmark, DTU
AddressRichard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby
Electronic version(s)[pdf]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering