Soroush Haeri, Dario Kresic, Ljiljana Trajkovic. Probabilistic verification of BGP convergence. In Proceedings of the 19th annual IEEE International Conference on Network Protocols, ICNP 2011, Vancouver, BC, Canada, October 17-20, 2011. pages 127-128, 2011. [doi]
Abstract is missing.