P. Kovalenko

According to our database, P. Kovalenko authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Formal Verification of Token Economy Models.

O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019