On the Completeness and Decidability of Duration Calculus with Iteration

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)278-304
Number of pages27
JournalTheoretical Computer Science
Volume337
Publication statusPublished - 9 Jun 2005