Decidability and undecidability results for duration calculus
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A hardware semantics based on temporal intervalsPublished by Springer Nature ,2005
- Semantics and completeness of Duration CalculusPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989