Modeling and Verifying the CKB Blockchain Consensus Protocol[J] MATHEMATICS 2021(9) Sun, Meng Lu, Yuteng Feng, Yichun Zhang, Qi Liu, Shaoying
