Drechsler, Rolf.
Test Pattern Generation using Boolean Proof Engines [electronic resource] / by Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille. - Dordrecht : Springer Netherlands, 2009. - digital.
9789048123605
10.1007/978-90-481-2360-5 doi
Engineering.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
TK7888.4
621.3815
Test Pattern Generation using Boolean Proof Engines [electronic resource] / by Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille. - Dordrecht : Springer Netherlands, 2009. - digital.
9789048123605
10.1007/978-90-481-2360-5 doi
Engineering.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
TK7888.4
621.3815