Modelling Link State Routing in Event-B.

Mojgan Kamali, Luigia Petre

Browse the full ICECCS paper archive.