Integrated Circuits and Systems Abstraction Refinement for Large Scale Model Checking, (Hardcover)
Integrated Circuits and Systems Abstraction Refinement for Large Scale Model Checking, (Hardcover) Author: Springer ISBN: 9780387341552 Format: Hardcover Publication Date: 2006-07-20 Page Count: 179
Shipping & Returns
Shipping & Returns








