Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal. An efficient path based equivalence checking for Petri net based models of programs. In Santonu Sarkar, Ashish Sureka, Domenico Cotroneo, Nishant Sinha, Vibha Singhal Sinha, Radhika Venkatasubramanyam, Padmaja Joshi, R. D. Naik, Pushpendra Singh, JayPrakash Lalchandani, editors, Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016. pages 70-79, ACM, 2016. [doi]
@inproceedings{BandyopadhyaySM16,
title = {An efficient path based equivalence checking for Petri net based models of programs},
author = {Soumyadip Bandyopadhyay and Dipankar Sarkar and Chittaranjan A. Mandal},
year = {2016},
doi = {10.1145/2856636.2856652},
url = {http://doi.acm.org/10.1145/2856636.2856652},
researchr = {https://researchr.org/publication/BandyopadhyaySM16},
cites = {0},
citedby = {0},
pages = {70-79},
booktitle = {Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016},
editor = {Santonu Sarkar and Ashish Sureka and Domenico Cotroneo and Nishant Sinha and Vibha Singhal Sinha and Radhika Venkatasubramanyam and Padmaja Joshi and R. D. Naik and Pushpendra Singh and JayPrakash Lalchandani},
publisher = {ACM},
isbn = {978-1-4503-4018-2},
}