ePrints

Towards the formal analysis of a group communication protocol

Lookup NU author(s): Daniel Owen

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Owen DJ

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Conference on Dependable Systems and Networks (DSN)

Year of Conference: 2001

Publisher: IEEE Computer Society Press

Library holdings: Search Newcastle University Library for this item

ISBN: 0769511015

Share