Executing Temporal Logic Programs

【文件属性】：

文件名称：Executing Temporal Logic Programs

文件大小：491KB

文件格式：PDF

更新时间：2012-11-10 02:46:22

ITL model checking

介绍区间时序逻辑及其工具,以及如何用于模型检测