TY - Front. Comput. Sci. A1 - Yu ZHOU, Nvqi ZHOU, Tingting HAN, Jiayi GU, Weigang WU T1 - Probabilistic verification of hierarchical leader election protocol in dynamic systems Y1 - 2018-06-14 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 763 EP - 776 VL - 12 IS - 4 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-018-6173-6 ER -