@InProceedings{BFW06b,
author={P. Ballarini and M. Fisher and M. Wooldridge},
title={Uncertain Agent Verification through Probabilistic Model-Checking},
booktitle={Proc. 3rd  International Workshop on Safety and Security in Multi-agent Systems (SASEMAS'06)},
year={2006},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}