“系统构建和分析的工具和算法,第11期……”
尼古拉斯·哈尔巴赫斯 , 勒诺·D·扎克 :
用于系统构建和分析的工具和算法,第11届国际会议,TACAS 2005,作为欧洲软件理论和实践联合会议的一部分举行,ETAPS 2005,英国爱丁堡,2005年4月4日至8日,会议记录。 计算机科学课堂讲稿 3440, 施普林格 2005 ,国际标准图书编号 3-540-25333-5 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。