Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1907.05523
Cited By
Towards a Verified Model of the Algorand Consensus Protocol in Coq
11 July 2019
Musab A. Alturki
Jia Chen
Victor Luchangco
Brandon M. Moore
Karl Palmskog
Lucas Peña
Grigore Roşu
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Towards a Verified Model of the Algorand Consensus Protocol in Coq"
Title
No papers
