Browse by Journal and Volume

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

Number of items: 1.

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 Sun Dec 22 04:40:50 2024 GMT.