Translation validation of coloured Petri net models of programs on integers

Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan; Giese, Holger

doi:10.1007/s00236-022-00419-z

by Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal, Holger Giese

Reference:

Translation validation of coloured Petri net models of programs on integers (Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal, Holger Giese), In Acta Informatica, 2022.

Bibtex Entry:

@article{2022_translation_validation_of_coloured_petri_net_models_of_programs_on_integers,
    author = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Mandal, Chittaranjan and Giese, Holger},
    title = {Translation validation of coloured Petri net models of programs on integers},
    journal = {Acta Informatica},
    year = {2022},
    doi = {10.1007/s00236-022-00419-z},
}