Graph Backwards Tool / News: Recent posts

A number of GBT example models are available here: http://www.it.uu.se/research/group/mobility/adhoc/gbt/examples

SPIN and UPPAAL models of the LUNAR ad hoc routing protocol are available here: http://www.it.uu.se/research/group/mobility/adhoc/gbt/other_examples