埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 用于符号模型检查的反例引导抽象细化。 （英语） Zbl 1325.68145号 J.ACM公司 50，第5期，752-794（2003）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，J.ACM 50，No.5，752--794（2003；Zbl 1325.68145） 全文： 内政部
埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 反例引导的抽象细化。 （英语） 兹伯利0974.68517 Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 154-169 (2000).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。注释计算。科学。1855154-169（2000年；兹bl 0974.68517）
埃德蒙·克拉克;Jha，萨默什;卢、袁;王栋（Wang，Dong） 抽象BDD：一种在模型检查中使用抽象的技术。 （英语） Zbl 0949.68105号 Pierre，Laurence（编辑）等人，《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议，CHARME’99，Bad Herrenalb，Germany，1999年9月27-29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1703, 172-186 (1999).MSC公司：60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。注释计算。科学。1703172--186（1999年；Zbl 0949.68105）