Probabilistic verification of hierarchical leader election protocol in dynamic systems
Crossref DOI link: https://doi.org/10.1007/s11704-018-6173-6
Published Online: 2018-03-15
Published Print: 2018-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhou, Yu
Zhou, Nvqi
Han, Tingting
Gu, Jiayi
Wu, Weigang
Text and Data Mining valid from 2018-03-15
Article History
Received: 23 March 2016
Accepted: 10 July 2017
First Online: 15 March 2018