E-book
Test Pattern Generation using Boolean Proof Engines [electronic resource] / by Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille.
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. |
