%0 Journal Article %1 journals/acta/BandyopadhyaySM22 %A Bandyopadhyay, Soumyadip %A Sarkar, Dipankar %A Mandal, Chittaranjan A. %A Giese, Holger %D 2022 %J Acta Informatica %K dblp %N 6 %P 725-759 %T Translation validation of coloured Petri net models of programs on integers. %U http://dblp.uni-trier.de/db/journals/acta/acta59.html#BandyopadhyaySM22 %V 59

@article{journals/acta/BandyopadhyaySM22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Bandyopadhyay, Soumyadip and Sarkar, Dipankar and Mandal, Chittaranjan A. and Giese, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2fd00908afbcc91e8eea75f27365cc1e8/dblp}, ee = {https://doi.org/10.1007/s00236-022-00419-z}, interhash = {48dfa84c65c5feb1d3febfda29e83d32}, intrahash = {fd00908afbcc91e8eea75f27365cc1e8}, journal = {Acta Informatica}, keywords = {dblp}, number = 6, pages = {725-759}, timestamp = {2024-04-08T16:43:55.000+0200}, title = {Translation validation of coloured Petri net models of programs on integers.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta59.html#BandyopadhyaySM22}, volume = 59, year = 2022 }