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]
Abstract is missing.