Equivalence checking of Petri net models of programs using static and dynamic cut-points

Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan

by Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal

Reference:

Equivalence checking of Petri net models of programs using static and dynamic cut-points (Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal), In Acta Informatica, 2018.

Bibtex Entry:

@Article{Bandyopadhyay2018,
AUTHOR = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Mandal, Chittaranjan},
TITLE = {{Equivalence checking of Petri net models of programs using static and dynamic cut-points}},
YEAR = {2018},
MONTH = {April},
JOURNAL = {Acta Informatica},
PDF = {uploads/pdf/Bandyopadhyay2018.pdf},
OPTacc_pdf = {}
}