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}
}