Model Checking of Consensus Algorithms
Tsuchiya, Tatsuhiro; Schiper, André
2007

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
Record Appears in Scientific production and competences > Archives > I&C - School of Computer and Communication Sciences > LSR - Distributed Systems Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published

Actions

Preview