论文研究一种针对CPnets并发模型的验证方法 .pdf 上传者：宛陵秋 2020-05-18 09:39:36上传 PDF文件 346.73KB 热度 39次 一种针对CP-nets并发模型的验证方法，孙涛，叶新铭，状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型�� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
