NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Renrui Liu' in GoogleThis author has not been identified. Look up 'Fuliang Li' in GoogleThis author has not been identified. Look up 'Chengxi Gao' in GoogleThis author has not been identified. Look up 'Ce Ji' in GoogleThis author has not been identified. Look up 'Xingwei Wang 0001' in Google

runs on WebDSL