Reduction-Based Formal Analysis of BGP Instances.

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

Browse the full TACAS paper archive.