Timing verification by successive approximation
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 137-150
- https://doi.org/10.1007/3-540-56496-9_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Reducibility in analysis of coordinationPublished by Springer Nature ,2006
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Graph-theoretic methods in database theoryPublished by Association for Computing Machinery (ACM) ,1990
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Timing assumptions and verification of finite-state concurrent systemsPublished by Springer Nature ,1990
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974