@book{Saposhnikov1997,
  author    = {Saposhnikov, Vl. V.},
  title     = {Self-dual duplication for error detection and testing},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Inst. f{\"u}r Informatik},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 S. : graph. Darst.},
  year      = {1997},
  language  = {en}
}
@book{StoffelKunz1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Structural FSM traversal : theory and a practical algorithm},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 05},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {34 S. : Ill.},
  year      = {1997},
  language  = {en}
}
@book{SeuringGoesselSogomonyan1997,
  author    = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A structural approach for space compaction for concurrent checking and BIST},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam [u.a.]},
  issn      = {0946-7580},
  pages     = {19 S. : Ill.},
  year      = {1997},
  language  = {en}
}
@book{HornReinke1996,
  author    = {Horn, Erika and Reinke, Thomas},
  title     = {Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1996, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {30 Bl. : graph. Darst.},
  year      = {1996},
  language  = {de}
}
@book{BartlReinke1996,
  author    = {Bartl, Peter and Reinke, Thomas},
  title     = {Logisches Gesamtmodell der Vorgangsmodellierung},
  series = {MOSVO-Bericht},
  volume    = {UP.015.2},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {de}
}
@book{Horn1996,
  author    = {Horn, Erika},
  title     = {MOSVO-Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar},
  publisher = {BMBF-Verl.},
  address   = {Bonn},
  year      = {1996},
  language  = {de}
}
@book{KoutzevlovTschapek1996,
  author    = {Koutzevlov, Atanas and Tschapek, Alexej},
  title     = {Software \& interface requirements specifications},
  series = {HGG-Dokument},
  volume    = {UPHGG.014.1},
  journal   = {HGG-Dokument},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {en}
}
@book{KoutzevlovSchubertTschapek1996,
  author    = {Koutzevlov, Atanas and Schubert, Wolfgang and Tschapek, Alexej},
  title     = {Software test plan \& test description},
  series = {HGG-Dokument},
  volume    = {UPHGG.016.1},
  journal   = {HGG-Dokument},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {en}
}
@book{Kupries1996,
  author    = {Kupries, Mario},
  title     = {Datenhaltung und Evolution objektorientierter Modelle von Gesch{\"a}ftsprozessen im Datenverwaltungssystem O2},
  series = {MOSVO-Bericht},
  volume    = {UP.019.1},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {de}
}
@book{LiersMichelStavenhagen1996,
  author    = {Liers, Achim and Michel, Mathias and Stavenhagen, Tilo},
  title     = {Zwischenbericht MUBOSE},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {de}
}
@book{Richter1996,
  author    = {Richter, Peter},
  title     = {Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {20 Bl.},
  year      = {1996},
  language  = {en}
}
@book{OPUS4-27228,
  title     = {The journal of supercomputing : trends in parallel operating systems},
  editor    = {Schr{\"o}der-Preikschat, Wolfgang and Wu, Min-You},
  publisher = {Kluwer},
  address   = {Boston},
  pages     = {157 S.},
  year      = {1995},
  language  = {en}
}
@book{BartlHornReinke1995,
  author    = {Bartl, Peter and Horn, Erika and Reinke, Thomas},
  title     = {Modelltypen, Ausdrucksmittel, Beispiele f{\"u}r die Modellierung von Verwaltungsvorg{\"a}ngen},
  series = {MOSVO-Bericht},
  volume    = {UP.004.1},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1995},
  language  = {de}
}
@book{SchroederPreikschat1994,
  author    = {Schr{\"o}der-Preikschat, Wolfgang},
  title     = {The logical design of parallel operating systems},
  publisher = {Prentice Hall International},
  address   = {Englewood Cliffs},
  pages     = {370 S.},
  year      = {1994},
  language  = {en}
}
@book{Bartl1994,
  author    = {Bartl, Peter},
  title     = {Sachbericht zum Vorg{\"a}ngerprojekt von MOSVO},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1994},
  language  = {de}
}