{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:06Z","timestamp":1750307046078,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T00:00:00Z","timestamp":1344816000000},"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":[[2012,8,13]]},"DOI":"10.1145\/2342356.2342374","type":"proceedings-article","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T12:18:56Z","timestamp":1344946736000},"page":"89-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reduction-based analysis of BGP systems with BGPVerif"],"prefix":"10.1145","author":[{"given":"Anduo","family":"Wang","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philladephia, PA, USA"}]},{"given":"Alexander J.T.","family":"Gurney","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philladephia, PA, USA"}]},{"given":"Xianglong","family":"Han","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Jinyan","family":"Cao","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Phildadelphia, PA, USA"}]},{"given":"Carolyn","family":"Talcot","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA, USA"}]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Phildadelphia, PA, USA"}]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Phildadelphia, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,8,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/316188.316231"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.731185"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.016"},{"key":"e_1_3_2_1_4_1","unstructured":"MAUDE. http:\/\/maude.cs.uiuc.edu\/.  MAUDE. http:\/\/maude.cs.uiuc.edu\/."},{"key":"e_1_3_2_1_5_1","unstructured":"MODELING TOPOLOGY OF LARGE INTERNETWORKS. http:\/\/www.cc.gatech.edu\/projects\/gtitm\/.  MODELING TOPOLOGY OF LARGE INTERNETWORKS. http:\/\/www.cc.gatech.edu\/projects\/gtitm\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863963"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/633025.633039"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2332432.2332501"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"WANG A. TALCOTT C. JIA L. LOO B. T. AND SCEDROV A. Analyzing BGP instances in Maude. In 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems. (FMOODS-FORTE 2011).   WANG A. TALCOTT C. JIA L. LOO B. T. AND SCEDROV A. Analyzing BGP instances in Maude. In 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems. (FMOODS-FORTE 2011).","DOI":"10.1007\/978-3-642-21461-5_22"},{"key":"e_1_3_2_1_11_1","volume-title":"BGP Design and Implementation","author":"ZHANG R.","year":"2003","unstructured":"ZHANG , R. , AND BARTELL , M. BGP Design and Implementation . Cisco Press , 2003 . ZHANG, R., AND BARTELL, M. BGP Design and Implementation. Cisco Press, 2003."}],"event":{"name":"SIGCOMM '12: ACM SIGCOMM 2012 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Helsinki Finland","acronym":"SIGCOMM '12"},"container-title":["Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2342356.2342374","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2342356.2342374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:01Z","timestamp":1750238461000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2342356.2342374"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,13]]},"references-count":11,"alternative-id":["10.1145\/2342356.2342374","10.1145\/2342356"],"URL":"https:\/\/doi.org\/10.1145\/2342356.2342374","relation":{},"subject":[],"published":{"date-parts":[[2012,8,13]]},"assertion":[{"value":"2012-08-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}