Back to Search
Start Over
Compositional SCC Analysis.
- Source :
- Abstraction Refinement for Large Scale Model Checking; 2006, p85-100, 16p
- Publication Year :
- 2006
Details
- Language :
- English
- ISBNs :
- 9780387341552
- Database :
- Supplemental Index
- Journal :
- Abstraction Refinement for Large Scale Model Checking
- Publication Type :
- Book
- Accession number :
- 32934637
- Full Text :
- https://doi.org/10.1007/0-387-34600-7_5