On the power of non-observable actions in timed automata
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 255-268
- https://doi.org/10.1007/3-540-60922-9_22
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Minimization of timed transition systemsPublished by Springer Nature ,2006
- The control of dense real-time discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Untiming timed languagesInformation Processing Letters, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Back to the future: towards a theory of timed regular languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Temporal proof methodologies for real-time systemsPublished by Association for Computing Machinery (ACM) ,1991
- Using mappings to prove timing propertiesPublished by Association for Computing Machinery (ACM) ,1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Reasoning about infinite computation pathsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983