BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 2.

    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.

    Blombach, F. and Ausiannikava, D. and Figueiredo, A.M. and Soloviev, Z. and Prentice, T. and Zhang, M. and Zhou, N. and Thalassinos, Konstantinos and Allers, T. and Werner, F. (2018) Structural and functional adaptation of Haloferax volcanii TFEα/β. Nucleic Acids Research , ISSN 0305-1048. (In Press)

    This list was generated on Wed Dec 11 04:21:13 2019 GMT.