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

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, H Hermanns, R Segala

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
PagesLNCS 169-187
Publication statusPublished - 1 Jan 2002
EventProceedings 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verificiation (PAPM/PROBMIV'02) -
Duration: 1 Jan 2002 → …

Conference

ConferenceProceedings 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verificiation (PAPM/PROBMIV'02)
Period1/01/02 → …

Cite this