Nvqi Zhou

According to our database, Nvqi Zhou authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

基于概率模型检测的Web服务组合多目标验证 (Multi-objective Verification of Web Service Composition Based on Probabilistic Model Checking).

Nvqi Zhou, Yu Zhou

计算机科学, 2018

Probabilistic verification of hierarchical leader election protocol in dynamic systems.

Yu Zhou, Nvqi Zhou, Tingting Han, Jiayi Gu, Weigang Wu

Frontiers Comput. Sci., 2018