%0 Journal Article %1 journals/paapp/ZaitsevSZL24 %A Zaitsev, Dmitry A. %A Shmeleva, Tatiana R. %A Zhou, Zeyu %A Liu, Ding %D 2024 %J Int. J. Parallel Emergent Distributed Syst. %K dblp %N 1 %P 32-50 %T Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design. %U http://dblp.uni-trier.de/db/journals/paapp/paapp39.html#ZaitsevSZL24 %V 39

@article{journals/paapp/ZaitsevSZL24, added-at = {2024-03-08T00:00:00.000+0100}, author = {Zaitsev, Dmitry A. and Shmeleva, Tatiana R. and Zhou, Zeyu and Liu, Ding}, biburl = {https://www.bibsonomy.org/bibtex/2acde227e502fa9c7a44a359402851529/dblp}, ee = {https://doi.org/10.1080/17445760.2023.2273452}, interhash = {ed34108acb12633c532c010ca1dc2247}, intrahash = {acde227e502fa9c7a44a359402851529}, journal = {Int. J. Parallel Emergent Distributed Syst.}, keywords = {dblp}, month = {January}, number = 1, pages = {32-50}, timestamp = {2024-04-08T19:58:09.000+0200}, title = {Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design.}, url = {http://dblp.uni-trier.de/db/journals/paapp/paapp39.html#ZaitsevSZL24}, volume = 39, year = 2024 }