文件名称：principles of the spin model checker
文件大小：195KB
文件格式：PDF
更新时间：2014-06-08 08:58:02
spin mdel chceker
介绍模型检查工具spin的基本概念以及相应机制
principles of the spin model checker
【文件属性】：
网友评论
- 内容不完整，只有前言和目录
文件名称：principles of the spin model checker
文件大小：195KB
文件格式：PDF
更新时间：2014-06-08 08:58:02
spin mdel chceker
介绍模型检查工具spin的基本概念以及相应机制