Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is group membership protocol  [Clear All Filters]
2002
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.