“验证、模型检查和抽象解释,第七…”
E.艾伦·艾默生 , Kedar S.Namjoshi公司 :
验证、模型检查和抽象解释,第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日,会议记录。 计算机科学课堂讲稿 3855, 施普林格 2006 ,国际标准图书编号 3-540-31139-4 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)