马可·博扎诺和乔治·德尔扎诺：超越参数化验证。(2002) conf/tacas/BozzanoD02 10.1007/3-540-46002-0_16 超越参数化验证。 2 马可·波扎诺 1 乔治·德尔扎诺 2 221-235 TACAS公司 TACAS公司 2002 2002 dblp记录“conf/tacas/BozzanoD02”的RDF数据的来源信息 2017-05-24T08:28:32+0200