BibTeX record conf/sigcomm/RenZWJGLR11

• > Home > conf/sigcomm/RenZWJGLR11

@inproceedings{DBLP:conf/sigcomm/RenZWJGLR11,
  author       = {Yiqing Ren and
                  Wenchao Zhou and
                  Anduo Wang and
                  Limin Jia and
                  Alexander J. T. Gurney and
                  Boon Thau Loo and
                  Jennifer Rexford},
  editor       = {Srinivasan Keshav and
                  J{\"{o}}rg Liebeherr and
                  John W. Byers and
                  Jeffrey C. Mogul},
  title        = {{FSR:} formal analysis and implementation toolkit for safe inter-domain
                  routing},
  booktitle    = {Proceedings of the {ACM} {SIGCOMM} 2011 Conference on Applications,
                  Technologies, Architectures, and Protocols for Computer Communications,
                  Toronto, ON, Canada, August 15-19, 2011},
  pages        = {440--441},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2018436.2018510},
  doi          = {10.1145/2018436.2018510},
  timestamp    = {Tue, 07 May 2024 20:08:29 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/RenZWJGLR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}