Title
Verifying Safety of Fault-Tolerant Distributed Components.
Year
DOI
Venue
2011
10.1007/978-3-642-35743-5_17
FACS
Field
DocType
Citations 
ENCODE,Asynchronous communication,Abstraction,Computer science,Communication in small groups,Correctness,Byzantine fault tolerance,Minification,Fault tolerance,Distributed computing
Conference
3
PageRank 
References 
Authors
0.40
22
4
Name
Order
Citations
PageRank
Rabéa Boulifa1605.05
Raluca Halalai291.52
Ludovic Henrio330434.43
Eric Madelaine426125.38