{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:19:44Z","timestamp":1740169184470,"version":"3.37.3"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11571015"],"award-info":[{"award-number":["11571015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.2994237","type":"journal-article","created":{"date-parts":[[2020,5,12]],"date-time":"2020-05-12T22:58:27Z","timestamp":1589324307000},"page":"100509-100520","source":"Crossref","is-referenced-by-count":0,"title":["Enhanced Logical Representations of a Real Network Based on an Algebraic Model"],"prefix":"10.1109","volume":"8","author":[{"given":"Yi","family":"Pan","sequence":"first","affiliation":[]},{"given":"Suixiang","family":"Gao","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8441-7334","authenticated-orcid":false,"given":"Wenguo","family":"Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1090191.1080094"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2010.5762759"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2005.857111"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04639-1_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3371110"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref17","volume":"41","author":"gondran","year":"2008","journal-title":"Graph Dioids and Semirings New Models and Algorithms"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2001.916261"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_18"},{"journal-title":"OSPF Anatomy of an Internet Routing Protocol","year":"1998","author":"moy","key":"ref4"},{"key":"ref3","first-page":"15","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc USENIX\/ACM Symp Netw Syst Design Implement"},{"journal-title":"A Border Gateway Protocol 4 (BGP-4)","year":"1771","author":"rekhter","key":"ref6"},{"key":"ref5","first-page":"1","author":"hendrick","year":"1058","journal-title":"Routing information protocol"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref2","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc USENIX\/ACM Symp Netw Syst Design Implement"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1592631.1592645"},{"key":"ref9","first-page":"1","author":"alaettinoglu","year":"2622","journal-title":"Routing policy specification language (RPSL)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"ref21","article-title":"Network verification on periodically changed topology","author":"ye","year":"2019","journal-title":"Proc 3rd Asia–Pacific Workshop Netw (APNet)"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09091797.pdf?arnumber=9091797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:52:02Z","timestamp":1639770722000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9091797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/access.2020.2994237","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2020]]}}}