Department of Computer Science, Carnegie Mellon University;
机译:通过时间间隔逻辑模型检查评估时间数据集
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:模型检查间隔时间逻辑统一算法的复杂性分析
机译:通过时间逻辑模型检查预测蛋白质折叠动力学
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:通过时间逻辑模型检查预测蛋白质折叠动力学
机译:具有公平约束的petri网线性时态逻辑性质模型检验。