Model Checking of Consensus Algorithms

conference paper

Tsuchiya, Tatsuhiro

•

2007

Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems

Name

04365691.pdf

Access type

openaccess

Size

351.78 KB

Format

Adobe PDF

Checksum (MD5)

4580af6238c811fbafd9fe82325fd177