伊塔·巴拉班;阿米尔·普努利;亚尼夫·萨阿尔;Lenore D.扎克。 验证多链接堆。 (英语) 兹比尔1246.68093 J.计算。系统。科学。 78,第3期,853-876(2012).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,J.Compute。系统。科学。78,第3853-876号(2012年;兹bl 1246.68093) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。 证明被反驳:符号模型检查器作为证明生成器。 (英语) Zbl 1274.68174号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,221-236(2010)。MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,Lect。票据计算。科学。5930、221--236(2010年;Zbl 1274.68174) 全文: 内政部