TY  - BOOK
A1  - Saposhnikov, Vl. V.
T1  - Self-dual duplication for error detection and testing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 02
PB  - Inst. für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
T1  - Structural FSM traversal : theory and a practical algorithm
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 05
PB  - Univ. Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 01
PB  - Univ. Potsdam
CY  - Potsdam [u.a.]
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  - 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  - 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  - Koutzevlov, Atanas
A1  - Tschapek, Alexej
T1  - Software & interface requirements specifications
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.014.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Koutzevlov, Atanas
A1  - Schubert, Wolfgang
A1  - Tschapek, Alexej
T1  - Software test plan & test description
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.016.1
PB  - Univ.
CY  - Potsdam
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  - BOOK
A1  - Richter, Peter
T1  - Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht
Y1  - 1996
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Schröder-Preikschat, Wolfgang
ED  - Wu, Min-You
T1  - The journal of supercomputing : trends in parallel operating systems
Y1  - 1995
PB  - Kluwer
CY  - Boston
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  - BOOK
A1  - Schröder-Preikschat, Wolfgang
T1  - The logical design of parallel operating systems
Y1  - 1994
PB  - Prentice Hall International
CY  - Englewood Cliffs
ER  - 
TY  - BOOK
A1  - Bartl, Peter
T1  - Sachbericht zum Vorgängerprojekt von MOSVO
Y1  - 1994
PB  - Univ.
CY  - Potsdam
ER  -