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