Explicit clock temporal logic
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 402-413
- https://doi.org/10.1109/lics.1990.113765
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Applications of temporal logic to the specification of real time systemsLecture Notes in Computer Science, 1988
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- Rendezvous with ADAPublished by Association for Computing Machinery (ACM) ,1982
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977