艾哈迈德·博阿贾尼;马里乌斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;托马斯·沃伊纳尔 带有列表的程序是计数器自动机。 (英语) 兹比尔1217.68059 形式方法系统。设计。 38,第2期,158-192(2011).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。38,第2号,158--192(2011;Zbl 1217.68059) 全文: 内政部 哈尔
科什卡,米兰;帕维尔·埃尔勒巴赫;托马斯·沃伊纳尔 线性链接结构程序的通用多模式验证。 (英语) Zbl 1125.68072号 正式Asp。计算。 19,第363-374号(2007年).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人,《正式Asp》。计算。19,第3号,363--374(2007;Zbl 1125.68072) 全文: 内政部