TY - 计算机科学 A1 - 雷丽晖,王静 T1 - 可能性测度下的LTL模型检测并行化研究 Y1 - 2018-04-15 JF - 计算机科学 JO - 计算机科学 SP - 71 EP - 75 VL - 45 IS - 4 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2018.04.010 ER -