Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay. Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. In Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Online Streaming, July 6-8, 2021. pages 533-541, SCITEPRESS, 2021. [doi]
@inproceedings{MittalBBB21, title = {Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets}, author = {Rakshit Mittal and Rochishnu Banerjee and Dominique Blouin and Soumyadip Bandyopadhyay}, year = {2021}, doi = {10.5220/0010581005330541}, url = {https://doi.org/10.5220/0010581005330541}, researchr = {https://researchr.org/publication/MittalBBB21}, cites = {0}, citedby = {0}, pages = {533-541}, booktitle = {Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Online Streaming, July 6-8, 2021}, editor = {Hans-Georg Fill and Marten van Sinderen and Leszek A. Maciaszek}, publisher = {SCITEPRESS}, isbn = {978-989-758-523-4}, }