Publikationen und Abschlussarbeiten am Lehrstuhl für Rechnernetze

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]