BR-BMC 许可: 免费 文件大小: N/A 用户评分: 4.5/5 - 2 评分 点击下载 使用 ACTL 的有界模型检查实现信念修订算法 版本历史记录 版本 N/A 发布于 2011-07-24若干修复和更新 版本 N/A 发布于 2011-07-24 软件信息 软件分类: 网络与互联网 > 其他 发布者: br-bmc.sf.net 许可: 免费 价格: N/A 版本: Array 适用平台: linux