Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou, Ding Liu. Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design. IJPEDS, 39(1):32-50, January 2024. [doi]
@article{ZaitsevSZL24,
title = {Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design},
author = {Dmitry A. Zaitsev and Tatiana R. Shmeleva and Zeyu Zhou and Ding Liu},
year = {2024},
month = {January},
doi = {10.1080/17445760.2023.2273452},
url = {https://doi.org/10.1080/17445760.2023.2273452},
researchr = {https://researchr.org/publication/ZaitsevSZL24},
cites = {0},
citedby = {0},
journal = {IJPEDS},
volume = {39},
number = {1},
pages = {32-50},
}