Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
de Chao Wang
Materias
Ediciones (1)
- Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems) (2006)
Springer · inglés · ISBN 9780387341552