Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study.

Andrei Borshchev, Yuri G. Karpov, Victor Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko

Browse the full PACT paper archive.