BibTeX record journals/scp/XiangZWXBXZ20

download as .bib file

@article{DBLP:journals/scp/XiangZWXBXZ20,
  author       = {Shuangqing Xiang and
                  Huibiao Zhu and
                  Xi Wu and
                  Lili Xiao and
                  Marcello M. Bonsangue and
                  Wanling Xie and
                  Lei Zhang},
  title        = {Modeling and verifying the topology discovery mechanism of OpenFlow
                  controllers in software-defined networks using process algebra},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102343},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102343},
  doi          = {10.1016/J.SCICO.2019.102343},
  timestamp    = {Mon, 28 Aug 2023 21:41:26 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/XiangZWXBXZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics