Browse by Person
Up a level |
Jump to: Frontiers of Computer Science
Number of items: 1.
Frontiers of Computer Science
Zhou, Y. and Zhou, N. and Han, Tingting and Gu, J. and Wu, W. (2018) Probabilistic verification of hierarchical leader election protocols in dynamic systems. Frontiers of Computer Science 12 (4), pp. 763-776. ISSN 2095-2228.