@书籍{zbMATH05022045，作者={Balser，Michael}，Title={使用符号执行验证并发系统。{时序}推理是带有少量归纳的符号执行。}，F系列={Berichte aus der Informatik}，序列={Ber.Inform.}，国际标准图书编号={3-8322-5074-3}，年份={2006}，出版商={Aachen:Shaker Verlag；Augsburg:奥格斯堡大学，Fakult{\“a}t f{\”u}r Angewandte Informatik（Diss.）}，语言={英语}，关键词={68Q60,68-01,68Q85}，URL={www.shaker.de/de/content/catalogy/index.asp？lang=de&ID=8&ISBN=978-3-8322-5074-4}，zbMATH={5022045}，Zbl={1100.68063}}