The Temporal Rover and the ATG Rover
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 323-330
- https://doi.org/10.1007/10722468_19
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compositional verification of real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967