Real Time Temporal Logic: Past, Present, Future
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 2-16
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Reasoning with Temporal Logic on Truncated Paths2003
- Synthesizing Monitors for Safety Properties2002
- Timed regular expressionsJournal of the ACM, 2002
- Timed Automata1999
- Event-clock automata: a determinizable class of timed automataTheoretical Computer Science, 1999
- It's about time: Real-time logics reviewed1998
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- Logics and models of real time: A survey1992
- Back to the future: towards a theory of timed regular languages1992