Home > Model Checking of Consensus Algorithms
 

Model Checking of Consensus Algorithms

Tsuchiya, Tatsuhiro ; Schiper, André

Published in:
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Presented at:
26th IEEE International Symposium on Reliable Distributed Systems
Year:
2007
Publisher:
IEEE
Laboratories:
LSR

Record appears in:
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LSR - Distributed Systems Laboratory
Publicly available
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published



 Record created 2008-05-27, last modified 2018-03-17

n/a:
Download fulltext
PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)