Probabilistic model checking of the IEEE 802.11 wireless local area network protocol (0)

by M Kwiatkowska, G Norman, J Sproston
Venue:Segala (Eds.), Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV’02