{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:49:14Z","timestamp":1725713354093},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/apnoms.2015.7275411","type":"proceedings-article","created":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T21:32:39Z","timestamp":1443475959000},"page":"109-114","source":"Crossref","is-referenced-by-count":2,"title":["Towards consistent software defined networking with logic programming"],"prefix":"10.1109","author":[{"given":"Eric","family":"Lui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu-Sung","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Ngai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tung-Yueh","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shih-Yi","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"VeriSDN: Formal Verification for Software-Defined Networking (SDN)","author":"shin","year":"2013","journal-title":"presented at the IETF - SDN RG Meeting Berlin Germany"},{"year":"0","key":"ref3","article-title":"The OpenStack Foundation. OpenStack Open Source Cloud Computing Software"},{"key":"ref6","first-page":"127","article-title":"A NICE Way to Test OpenFlow Applications","author":"canini","year":"2012","journal-title":"NSDI"},{"year":"0","key":"ref5","article-title":"VERSA"},{"year":"0","key":"ref8","article-title":"JSON"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/2034574.2034812","article-title":"Frenetic: A network programming language","author":"foster","year":"2011","journal-title":"ACM SIGPLAN Notices"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"year":"0","key":"ref9","article-title":"Openstack.org. Neutron - OpenStack"},{"year":"0","key":"ref1","article-title":"SRI International. Yices"}],"event":{"name":"2015 17th Asia-Pacific Network Operations and Management Symposium (APNOMS)","start":{"date-parts":[[2015,8,19]]},"location":"Busan, South Korea","end":{"date-parts":[[2015,8,21]]}},"container-title":["2015 17th Asia-Pacific Network Operations and Management Symposium (APNOMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270534\/7275336\/07275411.pdf?arnumber=7275411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T20:23:35Z","timestamp":1498249415000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7275411\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/apnoms.2015.7275411","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}