www.prismmodelchecker.org
[RSPV07] V. Rosset, P. Souto, P. Portugal and F. Vasques. A Reliability Evaluation of a Group Membership Protocol. In Proc. SAFECOMP 2007, volume 4680 of LNCS, pages 397-410, Springer. September 2007. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications