On the Completeness and Decidability of Duration Calculus with Iteration

Dimitar Guelev, DV Hung

Research output: Contribution to journalArticle

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

Cite this