ZHOU Cong-Hua
School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, ChinaLIU Zhi-Feng
School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, ChinaWANG Chang-Da
School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, China周从华,刘志锋,王昌达.概率计算树逻辑的限界模型检测.软件学报,2012,23(7):1656-1668
Copy