BibTeX record conf/nsdi/KhurshidZZCG13

download as .bib file

@inproceedings{DBLP:conf/nsdi/KhurshidZZCG13,
  author       = {Ahmed Khurshid and
                  Xuan Zou and
                  Wenxuan Zhou and
                  Matthew Caesar and
                  Philip Brighten Godfrey},
  editor       = {Nick Feamster and
                  Jeffrey C. Mogul},
  title        = {VeriFlow: Verifying Network-Wide Invariants in Real Time},
  booktitle    = {Proceedings of the 10th {USENIX} Symposium on Networked Systems Design
                  and Implementation, {NSDI} 2013, Lombard, IL, USA, April 2-5, 2013},
  pages        = {15--27},
  publisher    = {{USENIX} Association},
  year         = {2013},
  url          = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/khurshid},
  timestamp    = {Wed, 19 May 2021 08:28:11 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/KhurshidZZCG13.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.