@InCollection{zbMATH07474227，作者={Brauburger，J{“u}rgen and Giesl，J{\”u}rgen}，标题={部分函数的终止分析}，BookTitle={静态分析。第三届国际研讨会，SAS’96，德国亚琛，1996年9月24-26日。诉讼程序}，国际标准图书编号={3-540-61739-6}，页码={113--127}，年份={1996}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/3-540-61739-6_37}，关键词={68N18}，zbMATH={7474227}，Zbl={1482.68078}}