提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tacas/BozzanoD02澳大利亚-波扎诺，马尔科澳大利亚-乔治·德尔扎诺TI-超越参数化验证。BT：系统构建和分析的工具和算法，第八届国际会议，TACAS 2002，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2002，法国格勒诺布尔，2002年4月8日至12日，会议记录SP-221型EP-2352002年//编号：10.1007/3-540-46002-0_16UR-（欧元）https://doi.org/10.1007/3-540-46002-0_16急诊室-