TY  - RPRT
TI  - Scalable Probabilistic Models for 802.11 Protocol Verification
AU  - Amitabha Roy
AU  - K. Gopinath
PY  - 2004
UR  - https://arxiv.org/abs/cs/0403044
ID  - cs/0403044
ER  -