By Topic

Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
H. V. Ramasamy ; University of Illinois ; M. Cukier ; W. H. Sanders

Author(s)

H. V. Ramasamy
University of Illinois
M. Cukier ; W. H. Sanders