conference paper
Model Checking of Consensus Algorithms
2007
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Type
conference paper
Author(s)
Tsuchiya, Tatsuhiro
Date Issued
2007
Publisher
Published in
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Start page
137
End page
148
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
Available on Infoscience
May 27, 2008
Use this identifier to reference this record