An analytic evaluation for the impact of uncle blocks by selfish and stubborn mining in an imperfect Ethereum network[J] COMPUTERS & SECURITY 2019(87) Wang, Ziyu Liu, Jianwei Wu, Qianhong Zhang, Yanting Yu, Hui Zhou, Ziyu
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking[J] SYSTEMS 2022(10) Liu, Yang Zhou, Ziyu Yang, Yongsheng Ma, Yan
