May 1, 2019· 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
conference-paper
Formal Verification of Token Economy Models
Authors:O. LetychevskyV. PeschanenkoV. RadchenkoM. PoltoratzkyiP. KovalenkoS. Mogylko
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.