Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach
Chapter
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W3171289066 Global Citation Count
start page
- 47
end page
- 53