Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2011.14789
Cited By
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
30 November 2020
I. Konnov
Marijana Lazić
Ilina Stoilkovska
Josef Widder
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker"
1 / 1 papers shown
Title
Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus
Ittai Abraham
Dahlia Malkhi
Kartik Nayak
Ling Ren
Alexander Spiegelman
38
109
0
09 Dec 2016
1
