Xiaokun Luan, Meng Sun. Modeling and Verification of CKB Consensus Protocol in Coq. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021. pages 660-667, IEEE, 2021. [doi]
@inproceedings{LuanS21,
title = {Modeling and Verification of CKB Consensus Protocol in Coq},
author = {Xiaokun Luan and Meng Sun},
year = {2021},
doi = {10.1109/QRS-C55045.2021.00100},
url = {https://doi.org/10.1109/QRS-C55045.2021.00100},
researchr = {https://researchr.org/publication/LuanS21},
cites = {0},
citedby = {0},
pages = {660-667},
booktitle = {21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021},
publisher = {IEEE},
isbn = {978-1-6654-7836-6},
}