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