You are about to access our book library "Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) full version" .