乔纳森·海宁;克里斯蒂娜·詹森;Joost-Pieter卡托恩;诺尔，托马斯 Juggrnaut：使用图形语法抽象无限堆结构。 （英语） Zbl 1341.68033号 形式方法系统。设计。 47，第2期，159-203（2015）.MSC公司：68第05页 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinen}等人，《形式方法系统》。设计。47，No.2，159--203（2015；Zbl 1341.68033） 全文： 内政部
李兆鹏;张瑜;陈一云 形状图逻辑和形状系统。 （英语） Zbl 1296.68100号 J.计算。科学。Technol公司。 第6期第28期，1063-1084页（2013年）.MSC公司：60年第68季度 68号30 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.-P.Li}等人，J.Compute。科学。Technol公司。28，第6号，1063--1084（2013；Zbl 1296.68100） 全文： 内政部
魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 （英语） Zbl 1243.68148号 科学。计算。程序。 77，第9期，1006-1036（2012）.MSC公司：68号30 60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.-N.Chin}等人，科学。计算。程序。77，第9号，1006--1036（2012；Zbl 1243.68148） 全文： 内政部 链接
艾哈迈德·博阿贾尼;马里乌斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;托马斯·沃伊纳尔 带有列表的程序是计数器自动机。 （英语） 兹比尔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 1175.68124号 Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，69-83（2008）。MSC公司：68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Rieger}和\textit{T.Noll}，莱克特。票据计算。科学。5214、69-83（2008年；Zbl 1175.68124） 全文： 内政部
科什卡，米兰;帕维尔·埃尔勒巴赫;托马斯·沃伊纳尔 线性链接结构程序的通用多模式验证。 （英语） 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） 全文： 内政部
埃洛迪·西蒙斯-简 用不动点和延迟替换扩展分离逻辑。 （英语） Zbl 1086.68032号 西奥。计算。科学。 351，第2期，258-275（2006）.MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{埃里·杰·西姆斯}，Theor。计算。科学。351，第2号，258--275（2006；Zbl 1086.68032） 全文： 内政部