尤尼特·凯斯滕;阿米尔·普努利 控制和数据抽象：实际形式验证的基石。 （英语） Zbl 1059.68589号 国际期刊软件。技术工具。Transf公司。2，第4期，328-342（2000）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
阿米尔·普努利;伊拉德·沙哈尔 参数化验证中的活力和加速。 （英语） Zbl 0974.68521号 Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1855, 328-343 (2000).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{E.Shahar}，莱克特。注释计算。科学。1855328-343（2000年；Zbl 0974.68521）