Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov. Reduction-based analysis of BGP systems with BGPVerif. In Lars Eggert, Jörg Ott, Venkata N. Padmanabhan, George Varghese, editors, ACM SIGCOMM 2012 Conference, SIGCOMM '12, Helsinki, Finland - August 13 - 17, 2012. pages 89-90, ACM, 2012. [doi]
Abstract is missing.