@InProceedings{KDF10,
author={Savas Konur and Clare Dixon and Michael Fisher},
title={Formal Verification of Probabilistic Swarm Behaviours},
booktitle={Proc. 7th International Conference on Swarm Intelligence (ANTS'10)},
year={2010},

editor={},
pages={440--447},
organization={},
publisher={Springer},
series={LNCS},
volume={6234},
address={},
month={},
note={},
key={}
}