BIROn - Birkbeck Institutional Research Online

Browse by Journal and Volume

Up a level
Export as [feed] Atom [feed] RSS
Group by: Author(s) | Date | School | No Grouping
Number of items: 1.

Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

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 Mon Jul 14 02:03:06 2025 BST.