Decidability of a Hybrid Duration Calculus

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	174
Pages (from-to)	113-133
ISSN	1571-0661
Publication status	Published - 2007
Event	International Workshop on Hybrid Logic 2006 - Seattle, United States Duration: 11 Aug 2006 → 11 Aug 2006

Conference	International Workshop on Hybrid Logic 2006
Country/Territory	United States
City	Seattle
Period	11/08/2006 → 11/08/2006

OpenUrl availability

@inproceedings{97cbf72921f745d3aa7e996befb9da31,

title = "Decidability of a Hybrid Duration Calculus",

author = "Thomas Bolander and Hansen, \{Michael Reichhardt\} and Hansen, \{Jens Ulrik\}",

year = "2007",

language = "English",

volume = "174",

pages = "113--133",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

note = "International Workshop on Hybrid Logic 2006, HyLo 2006 ; Conference date: 11-08-2006 Through 11-08-2006",

}

TY - GEN

T1 - Decidability of a Hybrid Duration Calculus

AU - Bolander, Thomas

AU - Hansen, Michael Reichhardt

AU - Hansen, Jens Ulrik

PY - 2007

Y1 - 2007

M3 - Conference article

SN - 1571-0661

VL - 174

SP - 113

EP - 133

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

T2 - International Workshop on Hybrid Logic 2006

Y2 - 11 August 2006 through 11 August 2006

ER -