Macquarie University, Sydney Macquarie University ResearchOnline

Fehnker, Ansgar

Statistics
Title Hits Visitors Downloads
Automated analysis of AODV using UPPAAL 136 84 0
Editorship : Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 suva, Fiji, november 24–28, 2015 : proceedings 88 89 0
A Rigorous analysis of AODV and its variants 278 263 0
A Process algebra for wireless mesh networks 82 64 0
Formal techniques for the analysis of wireless networks 6 6 0
Repository Search URL

Fehnker, Ansgar

Formatted Bibliography URL

Fehnker, Ansgar

Bibliography Script

To include a live feed of this author's bibliography on a static Web page (e.g., a personal home page), add the following JavaScript include to the body of the HTML.