BibTeX record conf/sigcomm/TianGLZCZDYMTLW21

• > Home > conf/sigcomm/TianGLZCZDYMTLW21

@inproceedings{DBLP:conf/sigcomm/TianGLZCZDYMTLW21,
  author       = {Bingchuan Tian and
                  Jiaqi Gao and
                  Mengqi Liu and
                  Ennan Zhai and
                  Yanqing Chen and
                  Yu Zhou and
                  Li Dai and
                  Feng Yan and
                  Mengjing Ma and
                  Ming Tang and
                  Jie Lu and
                  Xionglie Wei and
                  Hongqiang Harry Liu and
                  Ming Zhang and
                  Chen Tian and
                  Minlan Yu},
  editor       = {Fernando A. Kuipers and
                  Matthew C. Caesar},
  title        = {Aquila: a practically usable verification system for production-scale
                  programmable data planes},
  booktitle    = {{ACM} {SIGCOMM} 2021 Conference, Virtual Event, USA, August 23-27,
                  2021},
  pages        = {17--32},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3452296.3472937},
  doi          = {10.1145/3452296.3472937},
  timestamp    = {Thu, 01 Aug 2024 10:53:12 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/TianGLZCZDYMTLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}