Skip to content
Vinony

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

by Chao Wang

Cover of Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

No description available.

VerificationMathematical modelsComputer systemsIntegrated circuitsElectronic systemsSystems engineering