Developing a Consensus Algorithm Using Stepwise Refinement

  1. Lookup NU author(s)
  2. Dr Jeremy Bryans
Author(s)Bryans JW
Editor(s)Qin, S., Qiu, Z.
Publication type Conference Proceedings (inc. Abstract)
Conference NameFormal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods (ICFEM)
Conference LocationDurham, UK
Year of Conference2011
Date26-28 October 2011
Volume6991
Pages553-568
Series TitleLecture Notes in Computer Science
0302-9743
ISBN9783642245589
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item