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  - BOOK
A1  - Bartl, Peter
T1  - Sachbericht zum Vorgängerprojekt von MOSVO
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  - JOUR
A1  - Liers, Achim
A1  - Michel, Mathias
T1  - Erfassung und Bewertung der Elektroenergiequalität in Netzen mit transienten Vorgängen
Y1  - 1995
ER  - 
TY  - THES
A1  - Schmidt, Henning
T1  - Dynamisch veränderbare Betriebssystemstrukturen
Y1  - 1995
ER  - 
TY  - BOOK
A1  - Bartl, Peter
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Modelltypen, Ausdrucksmittel, Beispiele für die Modellierung von Verwaltungsvorgängen
T3  - MOSVO-Bericht
Y1  - 1995
VL  - UP.004.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - THES
A1  - Morosov, Andrej
T1  - Entwurf von selbstprüfenden digitalen Schaltungen mit monoton unabhängigen Ausgängen
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Schmidt, Henning
A1  - Berg, Ralph
A1  - Büttner, Lars
A1  - Cordson, Jörg
A1  - Luther, Eva-Maria
A1  - Schön, Friedrich
T1  - PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur
Y1  - 1996
ER  - 
TY  - BOOK
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1996
VL  - 1996, 06
PB  - Univ.
CY  - Potsdam
ER  -