BibTeX record conf/uic/YaoLWLYWW22

• > Home > conf/uic/YaoLWLYWW22

@inproceedings{DBLP:conf/uic/YaoLWLYWW22,
  author       = {Jiangyuan Yao and
                  Shengjun Lin and
                  Jiawen Wang and
                  Deshun Li and
                  Qiuling Yang and
                  Changshuai Wang and
                  Xiaobin Wang},
  title        = {Model Checking of Software-Defined Networking for Multiple Applications},
  booktitle    = {{IEEE} Smartworld, Ubiquitous Intelligence {\&} Computing, Scalable
                  Computing {\&} Communications, Digital Twin, Privacy Computing,
                  Metaverse, Autonomous {\&} Trusted Vehicles, SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta
                  2022, Haikou, China, December 15-18, 2022},
  pages        = {1099--1104},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360},
  doi          = {10.1109/SMARTWORLD-UIC-ATC-SCALCOM-DIGITALTWIN-PRICOMP-METAVERSE56740.2022.00360},
  timestamp    = {Fri, 04 Aug 2023 17:34:39 +0200},
  biburl       = {https://dblp.org/rec/conf/uic/YaoLWLYWW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}