Test Pattern Generation using Boolean Proof Engines
Record details
- ISBN: 9789048123605
- Physical Description: 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. |