Executing Temporal Logic Programs 时间:2012-11-10 02:46:22 【文件属性】: 文件名称:Executing Temporal Logic Programs 文件大小:491KB 文件格式:PDF 更新时间:2012-11-10 02:46:22 ITL model checking 介绍区间时序逻辑及其工具,以及如何用于模型检测 立即下载