Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal 0001. Equivalence checking of Petri net models of programs using static and dynamic cut-points. Acta Informatica, 56(4):321-383, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.