{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:03:38Z","timestamp":1725591818763},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/lcn.2018.8638123","type":"proceedings-article","created":{"date-parts":[[2019,2,12]],"date-time":"2019-02-12T01:55:48Z","timestamp":1549936548000},"page":"291-294","source":"Crossref","is-referenced-by-count":1,"title":["A Case for Systematic Detection and Rigorous Location of SDN Control Conflicts"],"prefix":"10.1109","author":[{"given":"Lan","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.041"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535795"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199803)28:3<329::AID-SPE157>3.0.CO;2-H"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"journal-title":"Cleanroom Software Engineering Technology and Process","year":"1999","author":"prowell","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626298"},{"journal-title":"REALSBS (Requirements Elicitation and Analysis Tool for Sequence-Based Specification)","year":"2018","key":"ref4"},{"journal-title":"Proto Seq (Prototype Sequence Enumeration Tool)","year":"2018","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2016.7919485"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674992"},{"key":"ref8","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc of USENIX NSDI"},{"key":"ref7","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc of USENIX NSDI"},{"journal-title":"Software-Defined Networking The New Norm for Networks","year":"0","key":"ref2"},{"journal-title":"HP launches industry&#x2019;s first SDN app store unleashing new wave of networking innovations","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"}],"event":{"name":"2018 IEEE 43rd Conference on Local Computer Networks (LCN)","start":{"date-parts":[[2018,10,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2018,10,4]]}},"container-title":["2018 IEEE 43rd Conference on Local Computer Networks (LCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8635823\/8638025\/08638123.pdf?arnumber=8638123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:07:33Z","timestamp":1552349253000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8638123\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/lcn.2018.8638123","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}