Peter Ochsenschläger, Rainer Prinoth. Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. In Nina Gerner, Heinz-Gerd Hegering, Joachim Swoboda, editors, Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, München, 3.-5. März 1993. Informatik Aktuell, pages 456-470, Springer, 1993.
@inproceedings{OchsenschlagerP93, title = {Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen}, author = {Peter Ochsenschläger and Rainer Prinoth}, year = {1993}, researchr = {https://researchr.org/publication/OchsenschlagerP93}, cites = {0}, citedby = {0}, pages = {456-470}, booktitle = {Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, München, 3.-5. März 1993}, editor = {Nina Gerner and Heinz-Gerd Hegering and Joachim Swoboda}, series = {Informatik Aktuell}, publisher = {Springer}, isbn = {3-540-56482-9}, }