%0 Conference Paper %1 conf/kivs/OchsenschlagerP93 %A Ochsenschläger, Peter %A Prinoth, Rainer %B Kommunikation in Verteilten Systemen %D 1993 %E Gerner, Nina %E Hegering, Heinz-Gerd %E Swoboda, Joachim %I Springer %K dblp %P 456-470 %T Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. %U http://dblp.uni-trier.de/db/conf/kivs/kivs93.html#OchsenschlagerP93 %@ 3-540-56482-9

@inproceedings{conf/kivs/OchsenschlagerP93, added-at = {2005-03-09T00:00:00.000+0100}, author = {Ochsenschläger, Peter and Prinoth, Rainer}, biburl = {https://www.bibsonomy.org/bibtex/2e2ce202521ae8a225f1e15fef9d6e609/dblp}, booktitle = {Kommunikation in Verteilten Systemen}, crossref = {conf/kivs/1993}, editor = {Gerner, Nina and Hegering, Heinz-Gerd and Swoboda, Joachim}, ee = {http://dx.doi.org/10.1007/978-3-642-78091-2_34}, interhash = {174cb51046fca947604e0bad977a2454}, intrahash = {e2ce202521ae8a225f1e15fef9d6e609}, isbn = {3-540-56482-9}, keywords = {dblp}, pages = {456-470}, publisher = {Springer}, series = {Informatik Aktuell}, timestamp = {2016-11-17T11:43:24.000+0100}, title = {Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen.}, url = {http://dblp.uni-trier.de/db/conf/kivs/kivs93.html#OchsenschlagerP93}, year = 1993 }