| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> It is the theory that decides what can be observed. - Albert Einstein |
 [返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
计算机理论与工程 → 『 理论计算机科学 』 → 求clarke的model checking电子版
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 5688 个阅读者
 
|
|
||||||
  等级：大一新生 文章：0 积分：53 门派：XML.ORG.CN 注册：2006/3/12
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2006/3/20 20:36:00 | |||||||||
 等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2024/11/30 4:23:57 | |||||||||
| 本主题贴数1，分页： [1] |
| 管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
8,192.383ms |
新浪微博
求clarke的model checking电子版
