Jiangyuan Yao et al.: Model Checking of Software-Defined Networking for Multiple Applications. (2022)conf/uic/YaoLWLYWW2210.1109/SMARTWORLD-UIC-ATC-SCALCOM-DIGITALTWIN-PRICOMP-METAVERSE56740.2022.00360Model Checking of Software-Defined Networking for Multiple Applications.7Jiangyuan Yao1Shengjun Lin2Jiawen Wang3Deshun Li4Qiuling Yang5Changshuai Wang6Xiaobin Wang71099-1104SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/MetaSmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta20222022provenance information for RDF data of dblp record 'conf/uic/YaoLWLYWW22'2023-08-04T17:34:37+0200