Validating Wireless Congestion Control and Realiability Protocols using ProB and Rodin
| Authors | |
|---|---|
| Title | Validating Wireless Congestion Control and Realiability Protocols using ProB and Rodin |
| Published | In Proceedings, |
| Published in | FMWS 2008: Workshop on Formal Methods for Wireless Systems |
| Bib entry | [BibTeX] |
| Download | [PDF] [XML] [YML] |