@InProceedings{KNS02a,
author={M. Kwiatkowska and G. Norman and J. Sproston},
title={Probabilistic Model Checking of the {IEEE} 802.11 Wireless Local Area Network Protocol},
booktitle={Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'02)},
year={2002},

editor={H. Hermanns and R. Segala},
pages={169--187},
organization={},
publisher={Springer},
series={LNCS},
volume={2399},
month={},
note={},
key={}
}