@InProceedings{CV09,
author={M. Casadei and M. Viroli},
title={Using probabilistic model checking and simulation for designing self-organizing systems},
booktitle={Proc. ACM Symposium on Applied Computing (SAC'2009)},
year={2009},

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