Publikationen des Jahres 1992

Bücher und Konferenzbände

• Wolfgang Reisig. A Primer in Petri Net Design. Springer Compass International, 1992.
  

  @Book{Reisig1992_ppnd,
  author = {Wolfgang Reisig},
  title = {{A Primer in Petri Net Design}},
  publisher = {Springer Compass International},
  year = 1992 
  }
  

• Kurt Jensen, editor. Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, volume 616 of Lecture Notes in Computer Science, 1992. Springer.
  

  @Proceedings{ Jensen1992_atpn,
  title = {{Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings}},
  year = 1992,
  editor = {Kurt Jensen},
  volume = 616,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {{Application and Theory of Petri Nets}},
  isbn = {3-540-55676-1} 
  }
  

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Report on the REX Workshop on Semantics-Foundations and Applications. Bulletin of the EATCS, 84, 1992.
  

  @Article{ Reisig1992_eatcs_bulletin84,
  author = {Wolfgang Reisig},
  title = {{Report on the REX Workshop on Semantics-Foundations and Applications}},
  journal = {Bulletin of the EATCS},
  year = 1992,
  volume = 84 
  }
  

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig. Combining Petri Nets and Other Formal Methods. In Kurt Jensen, editor, Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, pages 24-44, 1992. Springer.
  

  @InProceedings{ Reisig1992_atpn,
  author = {Wolfgang Reisig},
  title = {{Combining Petri Nets and Other Formal Methods}},
  booktitle = {{Application and Theory of Petri Nets}},
  year = 1992,
  pages = {24-44},
  crossref = {Jensen1992_atpn} 
  }
  

Technische Berichte

• Wolfgang Reisig. Elements of a Temporal Logic Coping with Concurrency. SFB-Bericht 342/23/92, Technische Universität München, 1992.
  

  @TechReport{ Reisig1992_tum_tr3422392,
  author = {Wolfgang Reisig},
  title = {{Elements of a Temporal Logic Coping with Concurrency}},
  institution = {Technische Universität München},
  year = 1992,
  type = {SFB-Bericht},
  number = {342/23/92} 
  }
  

zurück zur Übersicht