TY - Computer Science A1 - GAO Wan-ling, HONG Mei, YANG Qiu-hui and ZHAO He T1 - Efficiency Analysis of Different Statistical Algorithms on Statistical Model Checking Y1 - 2017-12-01 JF - Computer Science JO - Computer Science SP - 499 EP - 503 VL - 44 IS - Z6 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2017.6A.111 ER -