Renrui Liu, Fuliang Li, Chengxi Gao, Ce Ji, Xingwei Wang 0001. NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations. In 31st IEEE/ACM International Symposium on Quality of Service, IWQoS 2023, Orlando, FL, USA, June 19-21, 2023. pages 1-10, IEEE, 2023. [doi]
@inproceedings{LiuLGJW23,
title = {NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations},
author = {Renrui Liu and Fuliang Li and Chengxi Gao and Ce Ji and Xingwei Wang 0001},
year = {2023},
doi = {10.1109/IWQoS57198.2023.10188763},
url = {https://doi.org/10.1109/IWQoS57198.2023.10188763},
researchr = {https://researchr.org/publication/LiuLGJW23},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {31st IEEE/ACM International Symposium on Quality of Service, IWQoS 2023, Orlando, FL, USA, June 19-21, 2023},
publisher = {IEEE},
isbn = {979-8-3503-9973-8},
}