Publikationen des Jahres 1993

Bücher und Konferenzbände

• Patrice Enjalbert, Alain Finkel, and Klaus W. Wagner, editors. STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, volume 665 of Lecture Notes in Computer Science, 1993. Springer.

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Spezifikation, Modellierung und Korrektheit von Informationssystemen. In G. Scheschonk and Wolfgang Reisig, editors, Petrinetze im Einsatz für Entwurf und Entwicklung von Informationssystemen. Springer, 1993.

Konferenzbeiträge und Beiträge auf Workshops

• Jörg Desel and Wolfgang Reisig. The Synthesis Problem of Petri Nets.. In Patrice Enjalbert, Alain Finkel, and Klaus W. Wagner, editors, STACS, volume 665 of SFB-Bericht, pages 120-129, 1993. Springer.

• Wolfgang Reisig. Formal methods for concurrent systems design: a survey. In W.K. Giloi, S. Jähnichen, and B.D. Shriver, editors, Programming Models for Massively Parallel Computers, 1993. Proceedings, pages 12-21, September 1993. IEEE.

zurück zur Übersicht