Modeling and Verification of Keeta's Consensus [pdf]xescu.re
10 points by xescure 3 hours ago | 1 comment