Publikationen des Jahres 1994

Bücher und Konferenzbände

• Wolfgang Reisig. Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues?, number Heft 27 of Öffentliche Vorlesungen. Humboldt-Universität zu Berlin, Unter den Linden 6, 10099 Berlin, Germany, 1994. Note: Antrittsvorlesung. Herausgegeben von Marlis Dürkop, Präsidentin der Humboldt-Universität zu Berlin.
  

  @Book{ Reisig1994_hub_antritt,
  author = {Wolfgang Reisig},
  title = {{Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues?}},
  publisher = {Humboldt-Universität zu Berlin},
  year = 1994,
  series = {Öffentliche Vorlesungen},
  address = {Unter den Linden 6, 10099 Berlin, Germany},
  note = {Antrittsvorlesung. Herausgegeben von Marlis Dürkop, Präsidentin der Humboldt-Universität zu Berlin.},
  number = {Heft 27},
  url = {http://edoc.hu-berlin.de/docviews/abstract.php?lang=ger&id=25072} 
  
  
  }
  

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig. Correctness Proofs of Distributed Algorithms.. In Kenneth P. Birman, Friedemann Mattern, and André Schiper, editors, Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, pages 164-177, 1994. Springer.
  

  @InProceedings{ Reisig1994_tpds,
  author = {Wolfgang Reisig},
  title = {{Correctness Proofs of Distributed Algorithms.}},
  booktitle = {{Dagstuhl Seminar on Distributed Systems}},
  year = 1994,
  pages = {164-177},
  crossref = {BirmanMS1995_tpds} 
  }
  

• Wolfgang Reisig. Petri-Netze und ihre Anwendungen. In Integrierte Informationsverarbeitung in Büro, Produktion und Logistik, number 305 of VDI Reihe 10: Informatik / Kommunikationstechnik, Düsseldorf, 1994. FET Zentralstelle für Forschungs- und Entwicklungstransfer der Universität-GH Essen, VDI-Verlag.
  

  @InProceedings{ Reisig1994_iivbpl,
  author = {Wolfgang Reisig},
  title = {{Petri-Netze und ihre Anwendungen}},
  booktitle = {{Integrierte Informationsverarbeitung in Büro, Produktion und Logistik}},
  year = 1994,
  series = {VDI Reihe 10: Informatik / Kommunikationstechnik},
  address = {Düsseldorf},
  organization = {FET Zentralstelle für Forschungs- und Entwicklungstransfer der Universität-GH Essen},
  publisher = {VDI-Verlag},
  number = 305 
  }
  

Technische Berichte

• Wolfgang Reisig. Progress in Petrinets. Informatik-Berichte 34, Humboldt-Universität zu Berlin, 1994.
  

  @TechReport{ Reisig1994_hub_tr34,
  author = {Wolfgang Reisig},
  title = {{Progress in Petrinets}},
  institution = {Humboldt-Universität zu Berlin},
  year = 1994,
  type = {Informatik-Berichte},
  number = 34 
  }
  

zurück zur Übersicht