Macquarie University, Sydney Macquarie University ResearchOnline

Fehnker, Ansgar

Statistics
Title Hits Visitors Downloads
Automated analysis of AODV using UPPAAL 158 106 0
Editorship : Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 suva, Fiji, november 24–28, 2015 : proceedings 109 110 0
A Rigorous analysis of AODV and its variants 297 281 0
A Process algebra for wireless mesh networks 94 76 0
Formal techniques for the analysis of wireless networks 10 10 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.