Infoscience

Conference paper

Model Checking of Consensus Algorithms

Tsuchiya, Tatsuhiro; Schiper, André
  • Presented at: 26th IEEE International Symposium on Reliable Distributed Systems
  • Published in: Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
  • IEEE, 2007

    Reference

    • LSR-CONF-2008-008

    Record created on 2008-05-27, modified on 2017-05-12

Fulltext

Related material

Contacts

EPFL authors