Test Pattern Generation using Boolean Proof Engines
Record details
- ISBN: 9789048123605
-
Physical Description:
electronic
electronic resource
access
remote
online resource. - Publisher: Dordrecht : Springer Netherlands, 2009.
Search for related items by subject
Subject: | Engineering Electronics Systems engineering Engineering Circuits and Systems Electronics and Microelectronics, Instrumentation |