Wang, Chao.
Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi. - Boston, MA : Springer US, 2006. - digital. - Series on Integrated Circuits and Systems, 1558-9412 . - Series on Integrated Circuits and Systems, .
9780387346007
10.1007/0-387-34600-7 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronic and Computer Engineering.
TK7888.4
621.3815
Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi. - Boston, MA : Springer US, 2006. - digital. - Series on Integrated Circuits and Systems, 1558-9412 . - Series on Integrated Circuits and Systems, .
9780387346007
10.1007/0-387-34600-7 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronic and Computer Engineering.
TK7888.4
621.3815