%0 Report %1 and2004 %A Feamster, Nick %A and Nick Feamster, %A Balakrishnan, Hari %D 2004 %K imported %T Verifying the Correctness of Wide-Area Internet Routing %U http://hdl.handle.net/1721.1/30471

@techreport{and2004, added-at = {2014-12-10T16:12:02.000+0100}, author = {Feamster, Nick and and Nick Feamster and Balakrishnan, Hari}, biburl = {https://www.bibsonomy.org/bibtex/203cb31a2c0ce6aa29de7948f41b5aa2b/chesteve}, institution = {MIT}, interhash = {27adea08e72833f5c48778f093d54786}, intrahash = {03cb31a2c0ce6aa29de7948f41b5aa2b}, keywords = {imported}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {Verifying the Correctness of Wide-Area Internet Routing}, url = {http://hdl.handle.net/1721.1/30471}, year = 2004 }