Minimizable timed automata
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 130-147
- https://doi.org/10.1007/3-540-61648-9_38
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Minimization of timed transition systemsPublished by Springer Nature ,2006
- A theory of timed automataPublished by Elsevier ,2002
- The expressive power of clocksPublished by Springer Nature ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- The Observational Power of ClocksPublished by Springer Nature ,1994