Panqing Zhang

According to our database1, Panqing Zhang authored at least 2 papers between 2018 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2019
Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures.
Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

2018
Model Checking Instance Based on NuSMV.
Proceedings of the 2018 IEEE SmartWorld, 2018


  Loading...