@InProceedings{RG05,
author={A. Roy and K. Gopinath},
title={Improved Probabilistic Models for 802.11 Protocol Verification},
booktitle={Proc. 17th International Conference on Computer Aided Verification (CAV'05)},
year={2005},

editor={},
pages={239--252},
organization={},
publisher={Springer},
series={LNCS},
volume={3576},
address={},
_month={},
note={},
key={}
}