Principles of the Spin Model Checker.pdf
Spin模型检测方法,英文版。Principles+of+the+Spin+Model+Checker。
下载地址
用户评论
学习spin和promela的基础教材吧，正好也是老师上课对应的，挺清晰的。
很清晰，对学spin很有帮助。
很好，很清晰。
非常清晰的电子版，学习Spin很有帮助
这个太有用了，这个书在国内很难买，这个电子版的不错
非常难得可以找到，而且很不错的资源