Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs.

Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal

Browse the full ICSE paper archive.