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

Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan

doi:10.1007/s00236-018-0320-2

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, volume 56, 2019.

Bibtex Entry:

@article{DBLP:journals/acta/BandyopadhyaySM19,
    author    = {Soumyadip Bandyopadhyay and
               Dipankar Sarkar and
               Chittaranjan Mandal},
    title     = {Equivalence checking of Petri net models of programs using static
               and dynamic cut-points},
    journal   = {Acta Informatica},
    volume    = {56},
    number    = {4},
    pages     = {321--383},
    year      = {2019},
    url       = {https://doi.org/10.1007/s00236-018-0320-2},
    doi       = {10.1007/s00236-018-0320-2},
    timestamp = {Mon, 08 Mar 2021 10:49:54 +0100},
    biburl    = {https://dblp.org/rec/journals/acta/BandyopadhyaySM19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
}