union jack
Publikationen
HU-Logo
Institut für Informatik

Publikationen des Jahres 1983

Bücher und Konferenzbände

  • Josep Dìaz, editor. Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, volume 154 of Lecture Notes in Computer Science, 1983. Springer. BIBTEX

  • Günter Hommel and Dirk Krönig, editors. Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983, volume 74 of Informatik-Fachberichte, 1983. Springer. BIBTEX

  • Anastasia Pagnoni and Grzegorz Rozenberg, editors. Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, volume 66 of Informatik-Fachberichte, 1983. Springer. BIBTEX

Publikationen in Zeitschriften und Büchern

  • Ursula Goltz and Wolfgang Reisig. The Non-sequential Behavior of Petri Nets. Information and Control, 57(2/3): 125-147, 1983. BIBTEX

Konferenzbeiträge und Beiträge auf Workshops

  • G. Berthelot, G. Memmi, and Wolfgang Reisig. A Control Structure for Sequential Processes Synchronized by Buffers. In 4th Workshop on Theory and Applications of Petri Nets, Toulouse, September 1983, pages 43--58, 1983. BIBTEX

  • Ursula Goltz and Wolfgang Reisig. Processes of Place/Transition-Nets. In Josep Dìaz, editor, ICALP, volume 154 of Lecture Notes in Computer Science, pages 264-277, 1983. Springer. BIBTEX

  • Wolfgang Reisig. System Design Using Petri Nets. In Günter Hommel and Dirk Krönig, editors, Requirements Engineering, volume 74 of Informatik-Fachberichte, pages 29-41, 1983. Springer. BIBTEX

zurück zur Übersicht zurück zur Übersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Fri Sep 11 16:30:32 2009