Equivalence checking of Petri net models of programs using static and dynamic cut-points (bibtex)
by , ,
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}
}
Powered by bibtexbrowser