BibTeX record conf/sigcomm/ZaostrovnykhPPA17

download as .bib file

@inproceedings{DBLP:conf/sigcomm/ZaostrovnykhPPA17,
  author       = {Arseniy Zaostrovnykh and
                  Solal Pirelli and
                  Luis Pedrosa and
                  Katerina J. Argyraki and
                  George Candea},
  title        = {A Formally Verified {NAT}},
  booktitle    = {Proceedings of the Conference of the {ACM} Special Interest Group
                  on Data Communication, {SIGCOMM} 2017, Los Angeles, CA, USA, August
                  21-25, 2017},
  pages        = {141--154},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3098822.3098833},
  doi          = {10.1145/3098822.3098833},
  timestamp    = {Mon, 05 Feb 2024 20:28:58 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcomm/ZaostrovnykhPPA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.