@inproceedings{TACAS-2008-SaksenaWJ,
author = "Mayank Saksena and Oskar Wibling and Bengt Jonsson",
booktitle = "{Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-540-78800-3_3",
isbn = "978-3-540-78799-0",
pages = "18--32",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols}",
volume = 4963,
year = 2008,
}
Tags: