![](/develop/static/imgs/pdf.png)
Probabilistic verification of hierarchical leader election protocol in dynamic systems
{{custom_author.name}}, {{article.zuoZheEn}}
Probabilistic verification of hierarchical leader election protocol in dynamic systems
[{{custom_ref.label}}] |
{{custom_citation.content}}
CrossRef
Pubmed
arXiv
Google scholar
|
/
〈 |
|
〉 |