An iterative approach to language containment
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Efficient ω-regular language containmentPublished by Springer Nature ,1993
- Property preserving simulationsPublished by Springer Nature ,1993
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- A structural induction theorem for processesPublished by Association for Computing Machinery (ACM) ,1989