Probabilistic verification of BGP convergence.

Soroush Haeri, Dario Kresic, Ljiljana Trajkovic

Browse the full ICNP paper archive.