伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。 证明被反驳:符号模型检查器作为证明生成器。 (英语) Zbl 1274.68174号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,221-236(2010)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,Lect。注释计算。科学。5930、221--236(2010年;Zbl 1274.68174) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 CTL(^*\)验证的组合方法。 (英语) Zbl 1079.68059号 西奥。计算。科学。 331,编号2-3,397-428(2005).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},Theor。计算。科学。331,编号2--3397--428(2005;Zbl 1079.68059) 全文: 内政部