Probabilistic verification of hierarchical leader election protocol in dynamic systems. - Yu Zhou 010; Nvqi Zhou; Tingting Han 001; Jiayi Gu; Weigang Wu (Frontiers Comput. Sci., 2018)

基于概率模型检测的Web服务组合多目标验证 (Multi-objective Verification of Web Service Composition Based on Probabilistic Model Checking). - Nvqi Zhou; Yu Zhou 010 (计算机科学, 2018)