Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, XiaoBin Wang. Model Checking of Software-Defined Networking for Multiple Applications. In 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, IEEE, 2022. [doi]
@inproceedings{YaoLWLYWW22,
title = {Model Checking of Software-Defined Networking for Multiple Applications},
author = {Jiangyuan Yao and Shengjun Lin and Jiawen Wang and Deshun Li and Qiuling Yang and Changshuai Wang and XiaoBin Wang},
year = {2022},
doi = {10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360},
url = {https://doi.org/10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360},
researchr = {https://researchr.org/publication/YaoLWLYWW22},
cites = {0},
citedby = {0},
pages = {1099-1104},
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},
publisher = {IEEE},
isbn = {979-8-3503-4655-8},
}