Detecting bgp configuration faults with static analysis (2005)

by N Feamster, H Balakrishnan
Venue:In NSDI