Conference item
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
Actions
Authors
- Publisher:
- IEEE
- Host title:
- Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA 2006)
- Publication date:
- 2006-01-01
- UUID:
-
uuid:4b8990ae-b8b9-4417-87e7-85d8d8a6b4ca
- Local pid:
-
cs:759
- Deposit date:
-
2015-03-31
Terms of use
- Copyright date:
- 2006
If you are the owner of this record, you can report an update to it here: Report update to this record