![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Milwaukee, WI, USA (2019.7.15-2019.7.19)] 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models
Liu, Zhentian, Liu, JingYear:
2019
Language:
english
DOI:
10.1109/COMPSAC.2019.10265
File:
PDF, 557 KB
english, 2019