@InProceedings{CKPS11,
author={T. Chen and M. Kwiatkowska and D. Parker and A. Simaitis},
title={Verifying Team Formation Protocols with Probabilistic Model Checking},
booktitle={Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII 2011)},
year={2011},

editor={},
pages={190--297},
organization={},
publisher={Springer},
series={LNCS},
volume={6814},
address={},
month={},
note={},
key={}
}