He, Xudong. (2020). Modeling and Analyzing Smart Contracts using Predicate Transition Nets
.
108-115. 10.1109/QRS-C51114.2020.00029
He, Xudong. (2020). Modeling and Analyzing Smart Contracts using Predicate Transition Nets
. 108-115. 10.1109/QRS-C51114.2020.00029