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

Original languageEnglish
Pages91-104
Number of pages14
Publication statusPublished - 1 Jan 2005

Cite this