Title
Model Checking of Consensus Algorithms
Published in
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Pages
137-148
Conference
26th IEEE International Symposium on Reliable Distributed Systems
Date
2007
Publisher
IEEE
Record creation date
2008-05-27