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