Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: Z

Number of items: 1.

Z

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.

This list was generated on Tue Jul 22 02:08:21 2025 BST.