• Verification of consensus algo...

Result: Verification of consensus algorithms using satisfiability solving

Title:
Verification of consensus algorithms using satisfiability solving
Authors:
Tsuchiya, Tatsuhiro, Schiper, André
Source:
Distributed Computing. April 2011 23(5-6):341-358
Database:
Springer Nature Journals