@inproceedings{conf/sigcomm/BeckettGLW19,
  added-at = {2020-06-10T00:00:00.000+0200},
  author = {Beckett, Ryan and Giannarakis, Nick and Loehr, Devon and Walker, David},
  biburl = {https://www.bibsonomy.org/bibtex/2006e41d1d0494ecf8c1b0393bdb49c09/dblp},
  booktitle = {NetPL@SIGCOMM},
  crossref = {conf/sigcomm/2019netpl},
  ee = {https://doi.org/10.1145/3341561.3349592},
  interhash = {f44bfd39cba139d9acd5df9250b25186},
  intrahash = {006e41d1d0494ecf8c1b0393bdb49c09},
  isbn = {978-1-4503-6877-3},
  keywords = {dblp},
  pages = {3-4},
  publisher = {ACM},
  timestamp = {2020-06-11T11:40:31.000+0200},
  title = {NV: An intermediate language for network verification.},
  url = {http://dblp.uni-trier.de/db/conf/sigcomm/netpl2019.html#BeckettGLW19},
  year = 2019
}

{"_id":"2sNy35boGwu4M92KE","bibbaseid":"beckett-giannarakis-loehr-walker-nvanintermediatelanguagefornetworkverification-2019","author_short":["Beckett, R.","Giannarakis, N.","Loehr, D.","Walker, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-06-10T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Beckett"],"firstnames":["Ryan"],"suffixes":[]},{"propositions":[],"lastnames":["Giannarakis"],"firstnames":["Nick"],"suffixes":[]},{"propositions":[],"lastnames":["Loehr"],"firstnames":["Devon"],"suffixes":[]},{"propositions":[],"lastnames":["Walker"],"firstnames":["David"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2006e41d1d0494ecf8c1b0393bdb49c09/dblp","booktitle":"NetPL@SIGCOMM","crossref":"conf/sigcomm/2019netpl","ee":"https://doi.org/10.1145/3341561.3349592","interhash":"f44bfd39cba139d9acd5df9250b25186","intrahash":"006e41d1d0494ecf8c1b0393bdb49c09","isbn":"978-1-4503-6877-3","keywords":"dblp","pages":"3-4","publisher":"ACM","timestamp":"2020-06-11T11:40:31.000+0200","title":"NV: An intermediate language for network verification.","url":"http://dblp.uni-trier.de/db/conf/sigcomm/netpl2019.html#BeckettGLW19","year":"2019","bibtex":"@inproceedings{conf/sigcomm/BeckettGLW19,\n added-at = {2020-06-10T00:00:00.000+0200},\n author = {Beckett, Ryan and Giannarakis, Nick and Loehr, Devon and Walker, David},\n biburl = {https://www.bibsonomy.org/bibtex/2006e41d1d0494ecf8c1b0393bdb49c09/dblp},\n booktitle = {NetPL@SIGCOMM},\n crossref = {conf/sigcomm/2019netpl},\n ee = {https://doi.org/10.1145/3341561.3349592},\n interhash = {f44bfd39cba139d9acd5df9250b25186},\n intrahash = {006e41d1d0494ecf8c1b0393bdb49c09},\n isbn = {978-1-4503-6877-3},\n keywords = {dblp},\n pages = {3-4},\n publisher = {ACM},\n timestamp = {2020-06-11T11:40:31.000+0200},\n title = {NV: An intermediate language for network verification.},\n url = {http://dblp.uni-trier.de/db/conf/sigcomm/netpl2019.html#BeckettGLW19},\n year = 2019\n}\n\n","author_short":["Beckett, R.","Giannarakis, N.","Loehr, D.","Walker, D."],"key":"conf/sigcomm/BeckettGLW19","id":"conf/sigcomm/BeckettGLW19","bibbaseid":"beckett-giannarakis-loehr-walker-nvanintermediatelanguagefornetworkverification-2019","role":"author","urls":{"Link":"https://doi.org/10.1145/3341561.3349592","Paper":"http://dblp.uni-trier.de/db/conf/sigcomm/netpl2019.html#BeckettGLW19"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Loehr?items=1000","dataSources":["Jx8BiQEsdD5RGDpge"],"keywords":["dblp"],"search_terms":["intermediate","language","network","verification","beckett","giannarakis","loehr","walker"],"title":"NV: An intermediate language for network verification.","year":2019}