@收款{zbMATH07222927，作者={Abdulla，Parosh Aziz and Atig，Mohamed Faouzi and Diep，Bui Phi and Hol{'{i}}k，Luk{'a}{v{s}}and Jank{uu}，Petr}，标题={无链字符串约束}，BookTitle={用于验证和分析的自动化技术。第17届国际研讨会，2019年10月28日至31日，台湾台北，ATVA 2019。诉讼}，国际标准图书编号={978-3-030-31783-6；978-3-0.30-31784-3}，页码={277--293}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-31784-3_16}，关键词={68R07,68N30}，zbMATH={7222927}，Zbl={1437.68131}}