Decidability of a Hybrid Duration Calculus

Thomas Bolander, Jens Ulrik Hansen, Michael Reichhardt Hansen

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume174
Pages (from-to)113-133
ISSN1571-0661
Publication statusPublished - 2007
Externally publishedYes

Cite this