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

by Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
Venue:In Proc. Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification,