DMCA

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

by Marta Kwiatkowska , Gethin Norman , Jeremy Sproston
Venue:Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV’02), volume 2399 of LNCS
Citations:45 - 12 self