A theory of timed automata
Top Cited Papers
- 21 March 2002
- journal article
- Published by Elsevier
- Vol. 126 (2) , 183-235
- https://doi.org/10.1016/0304-3975(94)90010-8
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- Synthesizing processes and schedulers from temporal specificationsPublished by Springer Nature ,2005
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- Verifying automata specifications of probabilistic real-time systemsPublished by Springer Nature ,1992
- The complementation problem for Büchi automata with applications to temporal logicTheoretical Computer Science, 1987
- Complementing deterministic Büchi automata in polynomial timeJournal of Computer and System Sciences, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Communicating sequential processesCommunications of the ACM, 1978
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966