@Article{Bandyopadhyay2018, AUTHOR = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Mandal, Chittaranjan}, TITLE = {{Equivalence checking of Petri net models of programs using static and dynamic cut-points}}, YEAR = {2018}, MONTH = {April}, JOURNAL = {Acta Informatica}, PDF = {uploads/pdf/Bandyopadhyay2018.pdf}, OPTacc_pdf = {} }