TY  - JOUR
A1  - Schubert, Wolfgang
A1  - Glöde, Dirk
A1  - Hegewald, Eberhard
A1  - Koutzevlov, Atanas
T1  - ESF-Abschlußbericht
Y1  - 1994
PB  - Univ.
CY  - Potsdam
ER  - 
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  - 
TY  - BOOK
A1  - Bartl, Peter
T1  - Sachbericht zum Vorgängerprojekt von MOSVO
Y1  - 1994
PB  - Univ.
CY  - Potsdam
ER  -