@收款{zbMATH05535643，作者={Yu，Fang and Bultan，Tevfik and Ibarra，Oscar H.}，标题={符号字符串验证：{组合}字符串分析和大小分析}，BookTitle={用于系统构建和分析的工具和算法。2009年第15届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22日至29日。诉讼}，国际标准图书编号={978-3-642-00767-5}，页码={322--336}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-00768-2-28}，关键词={68Q60,68Q45}，zbMATH={5535643}，Zbl=｛12346.8269｝}