Principles of Spin Model Checker

时间：2012-02-08 09:16:35
【文件属性】：

文件名称：Principles of Spin Model Checker

文件大小：3.37MB

文件格式：PDF

更新时间：2012-02-08 09:16:35

Spin

Introduce the concepts and principles of Spin

立即下载

网友评论

  • 很清晰，内容完整，谢谢分享
  • 好东西，模型检测工具
  • 有目录导航，内容完整。正在努力学习中，谢谢分享。

相关文章