%0 Conference Paper %1 conf/icpp/KraussG88 %A Krauss, Kenneth G. %A Gulden, Samuel L. %B ICPP (2) %D 1988 %I Pennsylvania State University Press %K dblp %P 157-160 %T A Petri Net Method for the Formal Verification of Parallel Processes. %U http://dblp.uni-trier.de/db/conf/icpp/icpp1988-2.html#KraussG88

@inproceedings{conf/icpp/KraussG88, added-at = {2014-07-28T00:00:00.000+0200}, author = {Krauss, Kenneth G. and Gulden, Samuel L.}, biburl = {https://www.bibsonomy.org/bibtex/21150725e336eef7f0e94602bd6189118/dblp}, booktitle = {ICPP (2)}, crossref = {conf/icpp/1988-2}, interhash = {e05b0a4e6e715fc41ea8592e25ce38ab}, intrahash = {1150725e336eef7f0e94602bd6189118}, keywords = {dblp}, note = {0-271-00654-4}, pages = {157-160}, publisher = {Pennsylvania State University Press}, timestamp = {2015-06-18T13:44:47.000+0200}, title = {A Petri Net Method for the Formal Verification of Parallel Processes.}, url = {http://dblp.uni-trier.de/db/conf/icpp/icpp1988-2.html#KraussG88}, year = 1988 }