Formal Analysis of Proactive, Distributed Routing.

Mojgan Kamali, Peter Hfner, Maryam Kamali, Luigia Petre

Browse the full SEFM paper archive.