Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Panqing Zhang, Jiulei Jiang, Zhanyou Ma, Heng Zhu. Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures. In 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2019, Fukuoka, Japan, August 5-8, 2019. pages 449-453, IEEE, 2019. [doi]

This author has not been identified. Look up 'Panqing Zhang' in GoogleThis author has not been identified. Look up 'Jiulei Jiang' in GoogleThis author has not been identified. Look up 'Zhanyou Ma' in GoogleThis author has not been identified. Look up 'Heng Zhu' in Google

runs on WebDSL