Crossmark

Translation validation of coloured Petri net models of programs on integers

Crossref DOI link: https://doi.org/10.1007/s00236-022-00419-z

Published Online: 2022-04-06

Published Print: 2022-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Bandyopadhyay, Soumyadip https://orcid.org/0000-0001-5865-9754
Sarkar, Dipankar

Mandal, Chittaranjan

Giese, Holger
License Information

Text and Data Mining valid from 2022-04-06

Version of Record valid from 2022-04-06
More Information

Article History

Received: 9 April 2019

Accepted: 18 February 2022

First Online: 6 April 2022