@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}
}
@article{Reinke1996,
  author    = {Reinke, Thomas},
  title     = {Objektorientierte Modellierung eines Sicherheitskonzeptes f{\"u}r Verwaltungsvorg{\"a}nge},
  series = {MOSVO-Bericht},
  volume    = {UP.014.1},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  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}
}
@phdthesis{Gohlke1996,
  author    = {Gohlke, Mario},
  title     = {Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern},
  pages     = {117 S. : Ill.},
  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{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}
}
@article{MorosovSaposhnikovSaposhnikovetal.1997,
  author    = {Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Ein Transformationsalgorithmus einer kombinatorischen Schaltung in eine monotone Schaltung},
  year      = {1997},
  language  = {de}
}
@article{HornKupriesGloede1997,
  author    = {Horn, Erika and Kupries, Mario and Gl{\"o}de, Dirk},
  title     = {Eigenschaften und Modelle von Software-Agenten und Agenten-Systemen},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Inst. f{\"u}r Informatik},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {82 Bl. : Ill.},
  year      = {1997},
  language  = {de}
}
@book{Wilhelm1997,
  author    = {Wilhelm, Otto},
  title     = {Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript f{\"u}r den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten},
  editor    = {Budach, Lothar},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {54 S.},
  year      = {1997},
  language  = {de}
}
@book{OPUS4-24101,
  title     = {Sch{\"u}lerduden, Informatik},
  publisher = {Dudenverl.},
  address   = {Mannheim},
  isbn      = {3-411-04483-7},
  pages     = {575 S.},
  year      = {1997},
  language  = {de}
}