Fichiers
Détails
Titre
Model Checking of Consensus Algorithms
Auteur(s)
Tsuchiya, Tatsuhiro ; Schiper, André
Publié dans
Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
Pages
137-148
Présenté à
26th IEEE International Symposium on Reliable Distributed Systems
Date
2007
Editeur
IEEE
Laboratoires
LSR
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LSR - Laboratoire de systèmes répartis
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2008-05-27