Original language | English |
---|---|
Pages (from-to) | 278-304 |
Number of pages | 27 |
Journal | Theoretical Computer Science |
Volume | 337 |
DOIs | |
Publication status | Published - 9 Jun 2005 |
On the Completeness and Decidability of Duration Calculus with Iteration
Dimitar Guelev, DV Hung
Research output: Contribution to journal › Article
7
Citations
(Scopus)