On the use of Petri Nets in Smart Contracts modeling, generation and verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andrea Pinna 0002' in GoogleThis author has not been identified. Look up 'Roberto Tonelli' in Google

runs on WebDSL