Model Checking

【文件属性】：
文件名称：Model Checking
文件大小：1.85MB
文件格式：PDF
更新时间：2012-10-03 10:03:36
模型检验 卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料； 做模型检验和形式化方法的同行可以下载阅读 英文资料