{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:52Z","timestamp":1772163952901,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,8,15]],"date-time":"2011-08-15T00:00:00Z","timestamp":1313366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,8,15]]},"DOI":"10.1145\/2018436.2018510","type":"proceedings-article","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T11:22:45Z","timestamp":1314789765000},"page":"440-441","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["FSR"],"prefix":"10.1145","author":[{"given":"Yiqing","family":"Ren","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenchao","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anduo","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander J.T.","family":"Gurney","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jennifer","family":"Rexford","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,8,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/345063.339426"},{"key":"e_1_3_2_1_2_1","first-page":"10","author":"Griffin T. G.","year":"2002","unstructured":"Griffin , T. G. , Shepherd , F. B. , and Wilfong , G. The stable paths problem and interdomain routing. IEEE\/ACM Trans. on Networking 10 ( 2002 ). Griffin, T. G., Shepherd, F. B., and Wilfong, G. The stable paths problem and interdomain routing. IEEE\/ACM Trans. on Networking 10 (2002).","journal-title":"IEEE\/ACM Trans. on Networking"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080094"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_3_2_1_5_1","volume-title":"ACM SIGCOMM (demo)","author":"Muthukumar S. C.","year":"2009","unstructured":"Muthukumar , S. C. , Li , X. , Liu , C. , Kopena , J. B. , Oprea , M. , and Loo , B. T . Declarative toolkit for rapid network protocol simulation and experimentation . In ACM SIGCOMM (demo) ( 2009 ). Muthukumar, S. C., Li, X., Liu, C., Kopena, J. B., Oprea, M., and Loo, B. T. Declarative toolkit for rapid network protocol simulation and experimentation. In ACM SIGCOMM (demo) (2009)."},{"key":"e_1_3_2_1_6_1","unstructured":"Network Simulator 3. http:\/\/www.nsnam.org\/.  Network Simulator 3. http:\/\/www.nsnam.org\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2005.857111"},{"key":"e_1_3_2_1_9_1","unstructured":"Yices. http:\/\/yices.csl.sri.com\/.  Yices. http:\/\/yices.csl.sri.com\/."}],"event":{"name":"SIGCOMM '11: ACM SIGCOMM 2011 Conference","location":"Toronto Ontario Canada","acronym":"SIGCOMM '11","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2011 conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2018436.2018510","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2018436.2018510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:47Z","timestamp":1750225727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2018436.2018510"}},"subtitle":["formal analysis and implementation toolkit for safe inter-domain routing"],"short-title":[],"issued":{"date-parts":[[2011,8,15]]},"references-count":8,"alternative-id":["10.1145\/2018436.2018510","10.1145\/2018436"],"URL":"https:\/\/doi.org\/10.1145\/2018436.2018510","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2043164.2018510","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,8,15]]},"assertion":[{"value":"2011-08-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}