Modelling Ad Hoc On-Demand Distance Vector (AODV) Protocol with Timed Automata. Technical Report DSSE-TR-2003-2

Sibusisiwe Chiyangwa, Marta Kwiatkowska, M Leuschel, S Gruner, SL Presti

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages187-196
Number of pages10
Publication statusPublished - 1 Jan 2003
Event3rd Workshop on Automated Verification of Critical Systems -
Duration: 1 Jan 2003 → …

Conference

Conference3rd Workshop on Automated Verification of Critical Systems
Period1/01/03 → …

Cite this