Timed Automata and the Theory of Real Numbers
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 242-257
- https://doi.org/10.1007/3-540-48320-9_18
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Timing behavior analysis for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Multiple counters automata, safety analysis and presburger arithmeticPublished by Springer Nature ,1998
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A really temporal logicJournal of the ACM, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Computing accumulated delays in real-time systemsPublished by Springer Nature ,1993