TY  - BOOK
AU  - Drechsler, Rolf.
AU  - Eggersglüβ, Stephan.Fey, Görschwin.Tille, Daniel.
TI  - Test Pattern Generation using Boolean Proof Engines
SN  - 9789048123605
UR  - http://dx.doi.org/10.1007/978-90-481-2360-5
ER  -