@inproceedings{Hfner_McIver_11,
    address          = {Rotterdam, Netherlands},
    author           = {H\"ofner, Peter and McIver, Annabelle},
    booktitle        = {12th International Conference on Relational and Algebraic Methods in Computer Science},
    doi              = {10.1007/978-3-642-21070-9_17},
    editor           = {{Harrie de Swart}},
    keywords         = {mesh networks, aodv, algebra},
    month            = may,
    pages            = {212--229},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4537.pdf},
    publisher        = {Springer},
    title            = {Towards an Algebra of Routing Tables},
    year             = {2011}
  }