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]
@inproceedings{ZhangJMZ19,
title = {Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures},
author = {Panqing Zhang and Jiulei Jiang and Zhanyou Ma and Heng Zhu},
year = {2019},
doi = {10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00091},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00091},
researchr = {https://researchr.org/publication/ZhangJMZ19},
cites = {0},
citedby = {0},
pages = {449-453},
booktitle = {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},
publisher = {IEEE},
isbn = {978-1-7281-3024-8},
}