...
机译:关于Petri网单调扩展中的LTL片段模型检查的可判定性
机译:基于在线模型检查的参数估计与混合功能Petri网的秀丽隐杆线虫神经元命运决策模拟模型
机译:授权的工作流程模式:通过LTL(F)模型检查确定可实现性
机译:关于流程重写系统的LTL模型检查的可判定性
机译:模块化Petri网的LTL模型检查
机译:有界Petri网的符号模型检查的编码方案比较。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:基于展开的高级陪替氏网络并行LTL-X模型检查
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证