%0 Conference Paper %1 conf/iwqos/LiuLGJW23 %A Liu, Renrui %A Li, Fuliang %A Gao, Chengxi %A Ji, Ce %A Wang, Xingwei %B IWQoS %D 2023 %I IEEE %K dblp %P 1-10 %T NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations. %U http://dblp.uni-trier.de/db/conf/iwqos/iwqos2023.html#LiuLGJW23 %@ 979-8-3503-9973-8

@inproceedings{conf/iwqos/LiuLGJW23, added-at = {2023-08-14T00:00:00.000+0200}, author = {Liu, Renrui and Li, Fuliang and Gao, Chengxi and Ji, Ce and Wang, Xingwei}, biburl = {https://www.bibsonomy.org/bibtex/20fd08f1b7770b2c9529d2a130b97b6c1/dblp}, booktitle = {IWQoS}, crossref = {conf/iwqos/2023}, ee = {https://doi.org/10.1109/IWQoS57198.2023.10188763}, interhash = {5a58605f1741bb57c0d7763946510add}, intrahash = {0fd08f1b7770b2c9529d2a130b97b6c1}, isbn = {979-8-3503-9973-8}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE}, timestamp = {2024-04-09T16:16:58.000+0200}, title = {NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations.}, url = {http://dblp.uni-trier.de/db/conf/iwqos/iwqos2023.html#LiuLGJW23}, year = 2023 }