
[IEEE 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - Beijing, China (2007.10.10-2007.10.12)] 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - Model Checking of Consensus Algorit
Tsuchiya, Tatsuhiro, Schiper, AndreAnnée:
2007
Langue:
english
DOI:
10.1109/srds.2007.20
Fichier:
PDF, 352 KB
english, 2007