Login / Signup

Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking.

Jiayi GuYu ZhouWeigang WuTaolue Chen
Published in: ICCCS (2015)
Keyphrases