Equivalence checking of Petri net models of programs using static and dynamic cut-points
Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, ChittaranjanLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-018-0320-2
Date:
April, 2018
File:
PDF, 1.32 MB
english, 2018