TY  - THES
A1  - Kunz, Wolfgang
T1  - Testing techniques in logic synthesis
Y1  - 1996
ER  -