Title
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.
Year
DOI
Venue
2013
10.1007/978-3-642-39176-7_14
SPIN
Field
DocType
Citations 
Consensus algorithm,Model checking,Computer science,Fault tolerant distributed algorithms,Theoretical computer science,Distributed algorithm,Message passing,Paxos,Distributed computing
Conference
11
PageRank 
References 
Authors
0.53
31
5
Name
Order
Citations
PageRank
Annu John1222.43
Igor Konnov25712.06
Ulrich Schmid3314.58
Helmut Veith42476140.58
Josef Widder522923.99