{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T05:56:25Z","timestamp":1725342985385},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,12,9]]},"DOI":"10.1145\/2535828.2535835","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T14:04:58Z","timestamp":1386165898000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["SymNet"],"prefix":"10.1145","author":[{"given":"Radu","family":"Stoenescu","sequence":"first","affiliation":[{"name":"University Politehnica of Bucharest, Bucharest, Romania"}]},{"given":"Matei","family":"Popovici","sequence":"additional","affiliation":[{"name":"University Politehnica of Bucharest, Bucharest, Romania"}]},{"given":"Lorina","family":"Negreanu","sequence":"additional","affiliation":[{"name":"University Politehnica of Bucharest, Bucharest, Romania"}]},{"given":"Costin","family":"Raiciu","sequence":"additional","affiliation":[{"name":"University Politehnica of Bucharest, Bucharest, Romania"}]}],"member":"320","published-online":{"date-parts":[[2013,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"99","volume-title":"NSDI, nsdi'13","author":"Kazemian Peyman","year":"2013"},{"key":"e_1_3_2_1_2_1","volume-title":"NSDI","author":"Kazemian Peyman","year":"2012"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228298.2228338"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. 1955. Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. 1955.","DOI":"10.2140\/pjm.1955.5.285"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"}],"event":{"name":"CoNEXT '13: Conference on emerging Networking Experiments and Technologies","location":"Santa Barbara California USA","acronym":"CoNEXT '13","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2535828.2535835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T21:35:23Z","timestamp":1673300123000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535828.2535835"}},"subtitle":["static checking for stateful networks"],"short-title":[],"issued":{"date-parts":[[2013,12,9]]},"references-count":8,"alternative-id":["10.1145\/2535828.2535835","10.1145\/2535828"],"URL":"https:\/\/doi.org\/10.1145\/2535828.2535835","relation":{},"subject":[],"published":{"date-parts":[[2013,12,9]]},"assertion":[{"value":"2013-12-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}