TY  - JOUR
A1  - Kunz, Wolfgang
T1  - Ein effizientes Verfahren für die Logikvertifikation
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
T1  - Ein neuer Ansatz für die Optimierung mehrstufiger loischer Schaltungen
Y1  - 1994
ER  -