Temporal Logic and State Systems

【文件属性】：

文件名称：Temporal Logic and State Systems

文件大小：4.27MB

文件格式：PDF

更新时间：2014-03-23 08:04:45

Temporal Logic

研究模型检测，了解时态逻辑，应该很有帮助