%0 Book %1 books/daglib/0079714 %A Ochsenschläger, Peter %A Prinoth, Rainer %D 1995 %I Vieweg %K %P I-VIII, 1-278 %T Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen. %@ 978-3-528-05433-5

@book{books/daglib/0079714, added-at = {2023-12-13T02:09:50.000+0100}, author = {Ochsenschläger, Peter and Prinoth, Rainer}, biburl = {https://www.bibsonomy.org/bibtex/23d2db498d71223cf469ec52a3c18d839/admin}, interhash = {7bbc9b87c0c5a7d8dd61462cf51606a1}, intrahash = {3d2db498d71223cf469ec52a3c18d839}, isbn = {978-3-528-05433-5}, keywords = {}, pages = {I-VIII, 1-278}, publisher = {Vieweg}, timestamp = {2023-12-13T02:09:50.000+0100}, title = {Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen.}, year = 1995 }