Decidability of a Hybrid Duration Calculus

Thomas Bolander, Jens Ulrik Hansen, Michael Reichhardt Hansen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Notes in Theoretical Computer Science
Vol/bind174
Sider (fra-til)113-133
ISSN1571-0661
StatusUdgivet - 2007
Udgivet eksterntJa

Citer dette

Bolander, Thomas ; Hansen, Jens Ulrik ; Hansen, Michael Reichhardt. / Decidability of a Hybrid Duration Calculus. I: Electronic Notes in Theoretical Computer Science. 2007 ; Bind 174. s. 113-133.
@article{2c8cea8177014d85b3061ec64670e573,
title = "Decidability of a Hybrid Duration Calculus",
author = "Thomas Bolander and Hansen, {Jens Ulrik} and Hansen, {Michael Reichhardt}",
year = "2007",
language = "English",
volume = "174",
pages = "113--133",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Pergamon Press",

}

Decidability of a Hybrid Duration Calculus. / Bolander, Thomas; Hansen, Jens Ulrik; Hansen, Michael Reichhardt.

I: Electronic Notes in Theoretical Computer Science, Bind 174, 2007, s. 113-133.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Decidability of a Hybrid Duration Calculus

AU - Bolander, Thomas

AU - Hansen, Jens Ulrik

AU - Hansen, Michael Reichhardt

PY - 2007

Y1 - 2007

M3 - Journal article

VL - 174

SP - 113

EP - 133

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -