%0 Conference Paper %1 conf/sitis/IkedaSM12 %A Ikeda, Yuta %A Shimada, Satoshi %A Miura, Takao %B SITIS %D 2012 %E Yétongnon, Kokou %E Chbeir, Richard %E Dipanda, Albert %E Gallo, Luigi %I IEEE Computer Society %K dblp %P 595-602 %T Well Formed PetriNet for Reachablility. %U http://dblp.uni-trier.de/db/conf/sitis/sitis2012.html#IkedaSM12 %@ 978-1-4673-5152-2

@inproceedings{conf/sitis/IkedaSM12, added-at = {2013-01-14T00:00:00.000+0100}, author = {Ikeda, Yuta and Shimada, Satoshi and Miura, Takao}, biburl = {https://www.bibsonomy.org/bibtex/24a20ced6b31e02401c48357b54a6ca01/dblp}, booktitle = {SITIS}, crossref = {conf/sitis/2012}, editor = {Yétongnon, Kokou and Chbeir, Richard and Dipanda, Albert and Gallo, Luigi}, ee = {http://dx.doi.org/10.1109/SITIS.2012.91}, interhash = {588ee787845c7452d02b996f1038be1d}, intrahash = {4a20ced6b31e02401c48357b54a6ca01}, isbn = {978-1-4673-5152-2}, keywords = {dblp}, pages = {595-602}, publisher = {IEEE Computer Society}, timestamp = {2015-06-18T23:58:53.000+0200}, title = {Well Formed PetriNet for Reachablility.}, url = {http://dblp.uni-trier.de/db/conf/sitis/sitis2012.html#IkedaSM12}, year = 2012 }