@conference{a08d20762ada48c89cdfb98dcb6a4942,
title = "Probabilistic model checking of the IEEE 802.11 wireless local area network protocol",
author = "Marta Kwiatkowska and Gethin Norman and Jeremy Sproston and H Hermanns and R Segala",
year = "2002",
month = jan,
day = "1",
language = "English",
pages = "LNCS 169--187",
note = "Proceedings 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verificiation (PAPM/PROBMIV'02) ; Conference date: 01-01-2002",
}