spin论文集合

【文件属性】：

文件名称：spin论文集合

文件大小：6.05MB

文件格式：PDF

更新时间：2016-08-03 12:05:54

spin model checking

spin model checking thesis set,用于开发安全关键的信息系统。可用于检测并发系统的死锁。