@InProceedings{Pfe00,
  author =    "Holger Pfeifer",
  title =     "Formal Verification of the TTP Group Membership Algorithm",
  year =      2000,
  booktitle = "Formal Methods for Distributed System Development -- Proceedings of FORTE XIII / PSTV XX 2000",
  editor =    "Tommaso Bolognesi and Diego Latella",
  pages =     "3--18",
  publisher = "Kluwer Academic Publishers",
  address =   "Pisa, Italy",
  month =     "October"
}