|
|
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol
Matthias Fruth infobook title | Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006) |
pages | 290—297 |
publisher | IEEE Computer Society |
year | 2006 |
links
BibTeX
Download (pdf)
related pages
|
|
|
|
