弗朗西斯科·洛戈佐（编辑）;Doron A.Peled。（编辑）;Lenore D.扎克。（编辑） 验证、模型检查和抽象解释。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。 （英语） Zbl 1134.68006号 计算机科学课堂讲稿4905.柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。x、 325页。(2008).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Logozzo}（编辑）等人，《验证、模型检查和抽象解释》。第九届国际会议，VMCAI 2008，美国旧金山，2008年1月7日至9日。诉讼程序。柏林：施普林格（2008年；Zbl 1134.68006） 全文： 内政部
多龙·贝利德;阿米尔·普努利;勒诺尔·扎克 从伪造到验证。 （英语） Zbl 1052.68086号 Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245, 292-304 (2001).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人，Lect。注释计算。科学。2245292--304（2001年；Zbl 1052.68086） 全文： 链接
多龙·贝利德;祖克，莱诺 从模型检查到时间证明。 （英语） Zbl 0985.68030号 马修·德怀尔（编辑），《模型检查软件》。第八届国际SPIN研讨会，加拿大多伦多，2001年5月19日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2057, 1-14 (2001).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{L.Zuck}，莱克特。注释计算。科学。2057年1月14日（2001年；Zbl 0985.68030） 全文： 链接