BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Article
    Number of items: 2.

    Article

    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 Tue Jun 25 03:48:24 2019 BST.