%0 Conference Paper %1 conf/prdc/RamasamyCS02 %A Ramasamy, HariGovind V. %A Cukier, Michel %A Sanders, William H. %B PRDC %D 2002 %I IEEE Computer Society %K dblp %P 9-18 %T Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. %U http://dblp.uni-trier.de/db/conf/prdc/prdc2002.html#RamasamyCS02 %@ 0-7695-1852-4

@inproceedings{conf/prdc/RamasamyCS02, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ramasamy, HariGovind V. and Cukier, Michel and Sanders, William H.}, biburl = {https://www.bibsonomy.org/bibtex/235acd70f86ed960512bdaf12c72169e5/dblp}, booktitle = {PRDC}, crossref = {conf/prdc/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/PRDC.2002.1185613}, interhash = {df9a6e5be349535404e8dfea01da798f}, intrahash = {35acd70f86ed960512bdaf12c72169e5}, isbn = {0-7695-1852-4}, keywords = {dblp}, pages = {9-18}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:23:47.000+0200}, title = {Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.}, url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2002.html#RamasamyCS02}, year = 2002 }