达纳·菲斯曼;阿米尔·普努利 除了定期模型检查。 （英语） Zbl 1052.68084号 Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245, 156-170 (2001).MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}和\textit{A.Pnueli}，莱克特。注释计算。科学。22455156-170（2001年；兹比尔1052.68084） 全文： 链接
尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证：自动机理论视图。 （英语） Zbl 0983.68109号 J.计算。系统。科学。 62，第4期，668-690（2001）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人，《计算杂志》。系统。科学。62，第4号，668--690（2001；Zbl 0983.68109） 全文： 内政部