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  - 
TY  - JOUR
A1  - Reinke, Thomas
T1  - Objektorientierte Modellierung eines Sicherheitskonzeptes für Verwaltungsvorgänge
JF  - MOSVO-Bericht
Y1  - 1996
VL  - UP.014.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Bartl, Peter
A1  - Reinke, Thomas
T1  - Logisches Gesamtmodell der Vorgangsmodellierung
T3  - MOSVO-Bericht
Y1  - 1996
VL  - UP.015.2
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - THES
A1  - Gohlke, Mario
T1  - Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern
Y1  - 1996
ER  - 
TY  - BOOK
A1  - Horn, Erika
T1  - MOSVO-Rechnergestützte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar
Y1  - 1996
PB  - BMBF-Verl.
CY  - Bonn
ER  - 
TY  - BOOK
A1  - Kupries, Mario
T1  - Datenhaltung und Evolution objektorientierter Modelle von Geschäftsprozessen im Datenverwaltungssystem O2
T3  - MOSVO-Bericht
Y1  - 1996
VL  - UP.019.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Liers, Achim
A1  - Michel, Mathias
A1  - Stavenhagen, Tilo
T1  - Zwischenbericht MUBOSE
Y1  - 1996
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Horn, Erika
A1  - Kupries, Mario
A1  - Glöde, Dirk
T1  - Eigenschaften und Modelle von Software-Agenten und Agenten-Systemen
JF  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 06
PB  - Inst. für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Wilhelm, Otto
ED  - Budach, Lothar
T1  - Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript für den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten
Y1  - 1997
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
T1  - Schülerduden, Informatik
Y1  - 1997
SN  - 3-411-04483-7
PB  - Dudenverl.
CY  - Mannheim
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik
Y1  - 1997
ER  -