Equivalence checking of Petri net models of programs using static and dynamic cut-points
Crossref DOI link: https://doi.org/10.1007/s00236-018-0320-2
Published Online: 2018-04-23
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bandyopadhyay, Soumyadip
Sarkar, Dipankar
Mandal, Chittaranjan
Text and Data Mining valid from 2018-04-23
Article History
Received: 11 July 2017
Accepted: 10 April 2018
First Online: 23 April 2018