@收款{zbMATH02199300,作者={Bartzis,Constantinos和Bultan,Tevfik},标题={加宽算术自动机},BookTitle={计算机辅助验证。第16届国际会议,2004年CAV,美国马萨诸塞州波士顿,2004年7月13日至17日。会议记录。},国际标准图书编号={3-540-22342-8},页码={321--333},年份={2004},出版商={柏林:施普林格},语言={英语},DOI={10.1007/b98490},关键词={68Q60,68Q45},zbMATH={2199300},Zbl={1103.68606}}