%0 Book %1 DBLP:books/sp/Reisig98 %A Reisig, Wolfgang %D 1998 %I Springer %K distributed petri verification %T Elements of distributed algorithms: modeling and analysis with Petri nets %@ 3-540-62752-9

@book{DBLP:books/sp/Reisig98, added-at = {2010-02-05T11:07:03.000+0100}, author = {Reisig, Wolfgang}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/214a786c861425d90a0f6c06c62146c6a/giuliano.losa}, interhash = {3e7a24cb36fb2d204492fd78da6f44b0}, intrahash = {14a786c861425d90a0f6c06c62146c6a}, isbn = {3-540-62752-9}, keywords = {distributed petri verification}, publisher = {Springer}, timestamp = {2010-02-05T11:07:03.000+0100}, title = {Elements of distributed algorithms: modeling and analysis with Petri nets}, year = 1998 }