Files
Details
Title
Model Checking of Consensus Algorithms
Author(s)
Tsuchiya, Tatsuhiro ; Schiper, André
Published in
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Conference
26th IEEE International Symposium on Reliable Distributed Systems
Date
2007
Publisher
IEEE
Laboratories
LSR