Jiayi Gu, Yu Zhou, Weigang Wu, Taolue Chen. Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking. ICCCS'15. LNCS 9483, ppp. 192-205, 2015... API providers tend to release incomplete or inconsistent API..
Relevance: 18.982784