O. Letychevsky, V. Peschanenko, V. Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko. Formal Verification of Token Economy Models. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019, Seoul, Korea (South), May 14-17, 2019. pages 201-204, IEEE, 2019. [doi]
Abstract is missing.