@InProceedings{BFW06,
author={P. Ballarini and M. Fisher and M. Wooldridge},
title={Automated Game Analysis via Probabilistic Model Checking: A Case Study},
booktitle={Proc. 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt'05)},
year={2006},

editor={},
pages={125-137},
organization={},
publisher={Elsevier},
series={ENTCS},
volume={149},
address={},
month={},
note={},
key={}
}