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 (PaCT, 1997)

COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov; Alexei Filippov; Alexei Sintotskij; Sergei Fedorenko (PaCT, 1997)