Reduction-based analysis of BGP systems with BGPVerif.

Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov

Browse the full SIGCOMM paper archive.