Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi.
Record details
- ISBN: 9780387346007
- Physical Description: XIV, 179 p. online resource.
- Publisher: Boston, MA : Springer US, 2006.
Search for related items by subject
Subject: | Engineering. Computer aided design. Systems engineering. Engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electronic and Computer Engineering. |