TY  - BOOK
AU  - Drechsler, Rolf
TI  - Test pattern generation using boolean proof engines
U1  - 629.8 D811T 
PY  - 2009///
CY  - Dordrecht
PB  - Springer
N1  - 1632 21/08/2014 IBS77 22/08/2014 Main Budget
ER  -