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
Pages
137-148
Conference
26th IEEE International Symposium on Reliable Distributed Systems
Date
2007
Publisher
IEEE
Laboratories
LSR
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LSR - Distributed Systems Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2008-05-27