@inproceedings{Saksena:2008:GGM:1792734.1792739,
    Address = {Berlin, Heidelberg},
    Author = {Saksena, Mayank and Wibling, Oskar and Jonsson, Bengt},
    BookTitle = {Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems},
    File = {Graph grammar modeling and verification of ad hoc routing protocols - Saksena, Wibling, Jonsson (0) (0) - a - a - l.pdf},
    ISBN = {3-540-78799-2, 978-3-540-78799-0},
    Location = {Budapest, Hungary},
    Pages = {18--32},
    Publisher = {Springer-Verlag},
    Series = {TACAS'08/ETAPS'08},
    Title = {Graph grammar modeling and verification of ad hoc routing protocols},
    URL = {http://dl.acm.org/citation.cfm?id=1792734.1792739},
    Year = {2008},
    acmid = {1792739},
    bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1792734.1792739},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-78800-3\_3},
    date-added = {2012-12-19 22:48:34 +0000},
    date-modified = {2013-12-23 21:46:12 +0000},
    numpages = {15},
    doi = {10.1007/978-3-540-78800-3_3}
}

@inproceedings{Saksena:2008:GGM:1792734.1792739, Address = {Berlin, Heidelberg}, Author = {Saksena, Mayank and Wibling, Oskar and Jonsson, Bengt}, BookTitle = {Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems}, File = {Graph grammar modeling and verification of ad hoc routing protocols - Saksena, Wibling, Jonsson (0) (0) - a - a - l.pdf}, ISBN = {3-540-78799-2, 978-3-540-78799-0}, Location = {Budapest, Hungary}, Pages = {18--32}, Publisher = {Springer-Verlag}, Series = {TACAS'08/ETAPS'08}, Title = {Graph grammar modeling and verification of ad hoc routing protocols}, URL = {http://dl.acm.org/citation.cfm?id=1792734.1792739}, Year = {2008}, acmid = {1792739}, bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1792734.1792739}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-78800-3_3}, date-added = {2012-12-19 22:48:34 +0000}, date-modified = {2013-12-23 21:46:12 +0000}, numpages = {15}, doi = {10.1007/978-3-540-78800-3_3} }