Original language | English |
---|---|
Pages | 91-104 |
Number of pages | 14 |
Publication status | Published - 1 Jan 2005 |
Sharpening the Incompleteness of the Duration Calculus. Proceedings of the AMAST Workshop on Real-time Systems (ARTS)
Dimitar Guelev
Research output: Contribution to conference (unpublished) › Paper