Bibtex Entry:
@inproceedings{feamster2005detecting, author = "Nick Feamster and Hari Balakrishnan", title = "{Detecting BGP Configuration Faults with Static Analysis}", booktitle = {2nd Symp. on Networked Systems Design and Implementation (NSDI)}, year = {2005}, month = {May}, address = {Boston, MA} }