@inproceedings{CKPS11,
  title = "Verifying Team Formation Protocols with Probabilistic Model Checking",
  author = "T. Chen and M. Kwiatkowska and D. Parker and A. Simaitis",
  year = "2011",
  booktitle = "Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII 2011)",
  pages = "190--297",
  publisher = "Springer",
  series = "LNCS",
  volume = "6814",
}