BibTeX record conf/hotnets/ZhangHGSLYZ20

• > Home > conf/hotnets/ZhangHGSLYZ20

@inproceedings{DBLP:conf/hotnets/ZhangHGSLYZ20,
  author       = {Peng Zhang and
                  Yuhao Huang and
                  Aaron Gember{-}Jacobson and
                  Wenbo Shi and
                  Xu Liu and
                  Hongkun Yang and
                  Zhiqiang Zuo},
  editor       = {Ben Y. Zhao and
                  Heather Zheng and
                  Harsha V. Madhyastha and
                  Venkat N. Padmanabhan},
  title        = {Incremental Network Configuration Verification},
  booktitle    = {HotNets '20: The 19th {ACM} Workshop on Hot Topics in Networks, Virtual
                  Event, USA, November 4-6, 2020},
  pages        = {81--87},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3422604.3425936},
  doi          = {10.1145/3422604.3425936},
  timestamp    = {Wed, 06 Jul 2022 14:43:33 +0200},
  biburl       = {https://dblp.org/rec/conf/hotnets/ZhangHGSLYZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}