On the Automated Verification of BGP Convergence.

Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott

Browse the full PPDP paper archive.