TY  - JOUR
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
A1  - Gerber, Stefan
T1  - And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
Y1  - 1997
ER  - 
TY  - THES
A1  - Gerber, Stefan
T1  - Using software for fault detection in arithmetical circuits
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Gerber, Stefan
A1  - Gössel, Michael
T1  - Detection of permanent faults of a floating point adder by pseudoduplication
Y1  - 1994
ER  -