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...