Details for the publication GaoZWZ24.

Song Gao, Bohua Zhan (), Zhilin Wu (), Lijun Zhang: Verifying Randomized Consensus Protocols with Common Coins. In 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024, Brisbane, Australia, June 24-27, 2024, pages 403-415, 2024. DOI BIB