NV: An intermediate language for network verification. Beckett, R., Giannarakis, N., Loehr, D., & Walker, D. In NetPL@SIGCOMM, pages 3-4, 2019. ACM.
NV: An intermediate language for network verification. [link]Link  NV: An intermediate language for network verification. [link]Paper  bibtex   
@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
}

Downloads: 0