@article{SchubertGloedeHegewaldetal.1994,
  author    = {Schubert, Wolfgang and Gl{\"o}de, Dirk and Hegewald, Eberhard and Koutzevlov, Atanas},
  title     = {ESF-Abschlußbericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1994},
  language  = {de}
}
@book{Bartl1994,
  author    = {Bartl, Peter},
  title     = {Sachbericht zum Vorg{\"a}ngerprojekt von MOSVO},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1994},
  language  = {de}
}
@article{Kunz1994,
  author    = {Kunz, Wolfgang},
  title     = {Ein effizientes Verfahren f{\"u}r die Logikvertifikation},
  year      = {1994},
  language  = {de}
}
@article{Kunz1994,
  author    = {Kunz, Wolfgang},
  title     = {Ein neuer Ansatz f{\"u}r die Optimierung mehrstufiger loischer Schaltungen},
  year      = {1994},
  language  = {de}
}
@article{LiersMichel1995,
  author    = {Liers, Achim and Michel, Mathias},
  title     = {Erfassung und Bewertung der Elektroenergiequalit{\"a}t in Netzen mit transienten Vorg{\"a}ngen},
  year      = {1995},
  language  = {de}
}
@phdthesis{Schmidt1995,
  author    = {Schmidt, Henning},
  title     = {Dynamisch ver{\"a}nderbare Betriebssystemstrukturen},
  pages     = {XII, 141 S.},
  year      = {1995},
  language  = {de}
}
@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}
}
@phdthesis{Morosov1996,
  author    = {Morosov, Andrej},
  title     = {Entwurf von selbstpr{\"u}fenden digitalen Schaltungen mit monoton unabh{\"a}ngigen Ausg{\"a}ngen},
  pages     = {85 S.},
  year      = {1996},
  language  = {de}
}
@article{SchmidtBergBuettneretal.1996,
  author    = {Schmidt, Henning and Berg, Ralph and B{\"u}ttner, Lars and Cordson, J{\"o}rg and Luther, Eva-Maria and Sch{\"o}n, Friedrich},
  title     = {PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur},
  year      = {1996},
  language  = {de}
}
@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}
}