RamasamyCS02'

BibTeX

@inproceedings{DBLP:conf/prdc/RamasamyCS02,
  author    = {HariGovind V. Ramasamy and
               Michel Cukier and
               William H. Sanders},
  title     = {Formal Specification and Verification of a Group Membership
               Protocol for an Intrusion-Tolerant Group Communication System},
  booktitle = {PRDC},
  year      = {2002},
  pages     = {9-18},
  ee        = {http://csdl.computer.org/comp/proceedings/prdc/2002/1852/00/18520009abs.htm},
  crossref  = {DBLP:conf/prdc/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/prdc/2002,
  title     = {9th Pacific Rim International Symposium on Dependable Computing
               (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski,
               Japan},
  booktitle = {PRDC},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1852-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}