Nick Feamster, Hari Balakrishnan. Detecting BGP Configuration Faults with Static Analysis (Awarded Best Paper). In 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), May 2-4, 2007, Boston, Massachusetts, USA, Proceedings. USENIX, 2005. [doi]
Abstract is missing.