Macquarie University, Sydney Macquarie University ResearchOnline

Fehnker, Ansgar

Statistics
Title Hits Visitors Downloads
Automated analysis of AODV using UPPAAL 144 92 0
Editorship : Logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 suva, Fiji, november 24–28, 2015 : proceedings 94 95 0
A Rigorous analysis of AODV and its variants 287 271 0
A Process algebra for wireless mesh networks 84 66 0
Formal techniques for the analysis of wireless networks 7 7 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.