%0 Conference Paper %1 conf/icsoft/BandyopadhyaySB15 %A Bandyopadhyay, Soumyadip %A Sarkar, Dipankar %A Banerjee, Kunal %A Mandal, Chittaranjan A. %B ICSOFT-EA %D 2015 %E Lorenz, Pascal %E Maciaszek, Leszek A. %I SciTePress %K dblp %P 319-329 %T A Path-based Equivalence Checking Method for Petri Net based Models of Programs. %U http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015ea.html#BandyopadhyaySB15 %@ 978-989-758-114-4

@inproceedings{conf/icsoft/BandyopadhyaySB15, added-at = {2021-03-08T00:00:00.000+0100}, author = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Banerjee, Kunal and Mandal, Chittaranjan A.}, biburl = {https://www.bibsonomy.org/bibtex/2edab929065a2c6f1bc274fe4ae279bf1/dblp}, booktitle = {ICSOFT-EA}, crossref = {conf/icsoft/2015ea}, editor = {Lorenz, Pascal and Maciaszek, Leszek A.}, ee = {https://doi.org/10.5220/0005513903190329}, interhash = {0a799a581ca3fc3437d023b87729d05a}, intrahash = {edab929065a2c6f1bc274fe4ae279bf1}, isbn = {978-989-758-114-4}, keywords = {dblp}, pages = {319-329}, publisher = {SciTePress}, timestamp = {2024-04-10T16:47:44.000+0200}, title = {A Path-based Equivalence Checking Method for Petri Net based Models of Programs.}, url = {http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015ea.html#BandyopadhyaySB15}, year = 2015 }