@InProceedings{IZ08,
author={S. Islam and M. Zaid},
title={Probabilistic analysis of the {ASW} protocol using {PRISM}},
booktitle={IEEE Southeastcon 2008},
year={2008},

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