Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.

Mayank Saksena, Oskar Wibling, Bengt Jonsson

Browse the full TACAS paper archive.