Validating Wireless Congestion Control and Realiability Protocols using ProB and Rodin
| Author(s): | Jens Bendisposto, Michael Jastram, Michael Leuschel, Christian Lochert, Björn Scheuermann, Ingo Weigelt |
| Title: | Validating Wireless Congestion Control and Realiability Protocols using ProB and Rodin |
| Published: | In Proceedings, August 2008 |
| Keyword(s): | Not available |
| Abstract: | Not available |
| Bib entry: | [BibTeX] |
| Download: | [PDF] [XML] [YML] |