External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CTL Symbolic Model Checking Based on Fuzzy Logic

Pengzhan Nie, Jiulei Jiang, Zhanyou Ma. CTL Symbolic Model Checking Based on Fuzzy Logic. In 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 2020, Calgary, AB, Canada, August 17-22, 2020. pages 380-385, IEEE, 2020. [doi]

Authors

Pengzhan Nie

This author has not been identified. Look up 'Pengzhan Nie' in Google

Jiulei Jiang

This author has not been identified. Look up 'Jiulei Jiang' in Google

Zhanyou Ma

This author has not been identified. Look up 'Zhanyou Ma' in Google
runs on