Bibtex Entry:

@inproceedings{feamster2003practical,
   author =       "Nick Feamster",
   title =        "{Practical Verification Techniques for Wide-Area Routing}",
   booktitle =    {2nd ACM Workshop on Hot Topics in Networks},
   year =         {2003},
   month =        {November},
   address =      {Cambridge, MA}
}