E-book
Abstraction Refinement for Large Scale Model Checking
Record details
- ISBN: 9780387346007
-
Physical Description:
electronic
electronic resource
access
remote
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 |
