BibTeX record conf/sigcomm/LiuHSSLSWCMF18

• > Home > conf/sigcomm/LiuHSSLSWCMF18

@inproceedings{DBLP:conf/sigcomm/LiuHSSLSWCMF18,
  author       = {Jed Liu and
                  William T. Hallahan and
                  Cole Schlesinger and
                  Milad Sharif and
                  Jeongkeun Lee and
                  Robert Soul{\'{e}} and
                  Han Wang and
                  Calin Cascaval and
                  Nick McKeown and
                  Nate Foster},
  editor       = {Sergey Gorinsky and
                  J{\'{a}}nos Tapolcai},
  title        = {p4v: practical verification for programmable data planes},
  booktitle    = {Proceedings of the 2018 Conference of the {ACM} Special Interest Group
                  on Data Communication, {SIGCOMM} 2018, Budapest, Hungary, August 20-25,
                  2018},
  pages        = {490--503},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3230543.3230582},
  doi          = {10.1145/3230543.3230582},
  timestamp    = {Mon, 05 Feb 2024 20:28:59 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcomm/LiuHSSLSWCMF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}