TY  - RPRT
TI  - Towards a Verified Model of the Algorand Consensus Protocol in Coq
AU  - Musab A. Alturki
AU  - Jing Chen
AU  - Victor Luchangco
AU  - Brandon Moore
AU  - Karl Palmskog
AU  - Lucas Peña
AU  - Grigore Roşu
PY  - 2020
DO  - 10.1007/978-3-030-54994-7_27
UR  - https://arxiv.org/abs/1907.05523
ID  - 1907.05523
ER  -