Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system release_rev_1b2d677f-43b6-49e1-89eb-ea8100cd88f7

by H.V. Ramasamy, M. Cukier, W.H. Sanders

Released as a paper-conference by IEEE.

Type  paper-conference
Stage   unknown
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Revision

This is a specific, static metadata record, not necessarily linked to any current entity in the catalog.

Catalog Record
Revision: 1b2d677f-43b6-49e1-89eb-ea8100cd88f7
API URL: JSON