Andrea Pinna 0002, Roberto Tonelli. On the use of Petri Nets in Smart Contracts modeling, generation and verification. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022. pages 1207-1211, IEEE, 2022. [doi]
@inproceedings{PinnaT22,
title = {On the use of Petri Nets in Smart Contracts modeling, generation and verification},
author = {Andrea Pinna 0002 and Roberto Tonelli},
year = {2022},
doi = {10.1109/SANER53432.2022.00142},
url = {https://doi.org/10.1109/SANER53432.2022.00142},
researchr = {https://researchr.org/publication/PinnaT22},
cites = {0},
citedby = {0},
pages = {1207-1211},
booktitle = {IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022},
publisher = {IEEE},
isbn = {978-1-6654-3786-8},
}