T
imothy
B
ourke
Homepages 🌐
http://www.tbrk.org
Entries
2014
Loop freedom of the (untimed) AODV routing protocol
by
Timothy Bourke
and
Peter Höfner
Oct 23
Mechanization of the Algebra for Wireless Networks (AWN)
by
Timothy Bourke
Mar 08