埃德蒙·克拉克（Edmund M.Clarke）。；艾默生·E·艾伦 使用分支时间时序逻辑设计和合成同步骨架。 （英语） Zbl 1142.68431号 Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学讲义5000196-215（2008）。MSC公司：60年第68季度 03B44号 03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}和\textit{E.A.Emerson}，莱克特。注释计算。科学。5000、196-215（2008；Zbl 1142.68431） 全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。 模型检查的诞生。 （英语） Zbl 1142.68046号 Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，1-26（2008）。 审核人：Klaus D.Kiermeier（柏林） MSC公司：60年第68季度 03B44号 03B70号 2003年8月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}，莱克特。注释计算。科学。5000，1-26（2008；Zbl 1142.68046） 全文： 内政部
萨加·查基；埃德蒙·克拉克；奥尔纳·格伦伯格；约尔·瓦克宁；娜塔莎·莎莉吉娜；泰瑟·图利；赫尔穆特·维思 分支时间规范的状态/事件软件验证。 （英语） Zbl 1137.68432号 Romijn，Judi（编辑）等，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，53-69（2005）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，Lect。注释计算。科学。3771、53--69（2005年；Zbl 1137.68432） 全文： 内政部
萨加·查基；埃德蒙·克拉克；约尔·瓦克宁；娜塔莎·莎莉吉娜；尼尚·辛哈 使用状态、事件和死锁进行并发软件验证。 （英语） Zbl 1103.68609号 正式Asp。计算。 17，第4期，461-483（2005）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《正式Asp》。计算。17，第4号，461--483（2005；Zbl 1103.68609） 全文： 内政部
埃德蒙·克拉克；奥尔纳·格伦伯格；Jha，萨默什；卢、袁；赫尔穆特·维思 用于符号模型检查的反例引导抽象细化。 （英语） Zbl 1325.68145号 美国临床医学杂志 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） 全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。；施林格洛夫，伯恩德·霍尔格 模型检查。 （英语） Zbl 1066.68075号 Alan Robinson（编辑）等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社（ISBN 0-444-82949-0（第1卷）；0-444-50812-0（第二卷）；0-444-50813-9（套）；0-262-18221-1（第一卷）；0-262-18222-X（第2卷）；0-262-18223-8（套））。1635-1790 (2001).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}和\textit{B.-H.Schlingloff}，收录于：自动推理手册。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1635-1790（2001年；Zbl 1066.68075）
Doron A.Peled。 [埃德蒙·克拉克（Edmund M.Clarke）。] 软件可靠性方法。Edmund M.Clarke的前言。 （英语） Zbl 0980.68014号 计算机科学课文纽约州纽约市：施普林格。xix，331页（2001年）。 审核人：V.奥斯蒂亚努（莫斯科） MSC公司：68米15 68吨15 68T27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}，软件可靠性方法。埃德蒙·克拉克（Edmund M.Clarke）的前言。纽约：施普林格（Springer）（2001；Zbl 0980.68014）
J.R.伯奇。；E.M.克拉克。；麦克米兰，K.L。；迪尔·D·L。；黄，L.J。 符号模型检查：（10^{20}）状态及以上。 （英语） Zbl 0753.68066号 Inf.计算。 98，第2期，142-170（1992）.MSC公司：60年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Burch}等人，《信息计算》。98，第2号，142--170（1992；Zbl 0753.68066） 全文： 内政部
Edmund M.jun Clarke。 时序逻辑模型检查：两种避免状态爆炸问题的技术。 （英语） Zbl 0786.68058号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 1-2 (1991).MSC公司：60年第68季度 03B45 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke jun.}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。1--2（1991年；Zbl 0786.68058）
E.M.克拉克。；O·格伦伯格。；库尔山，R.P。 两种有限状态并发系统验证方法的综合。 （英语） Zbl 0688.68019号 Botik的逻辑，Proc。计算机科学逻辑基础研讨会，Pereslavl Zalessky/苏联1989年，Lect。注释计算。科学。363, 81-90 (1989). 审核人：H.保险丝 MSC公司：第68页第25页 68-04 65年第68季度 PDF格式BibTeX公司 XML格式
E.M.克拉克。；基塞斯库博士，I.A。 线性时间和分支时间逻辑的可表达性结果。（技术贡献）。 （英语） Zbl 0683.68030号 逻辑和并发模型中的线性时间、分支时间和偏序，Proc。研讨会，Noordwijkerhout/NL 1988，Lect。注释计算。科学。354, 428-437 (1989). 审核人：N.Curteanu公司 MSC公司：68问题65 03B45 60年第68季度 PDF格式BibTeX公司 XML格式
M.C.布朗。；E.M.克拉克。；O·格伦伯格。 描述命题时序逻辑中有限Kripke结构的特征。 （英语） Zbl 0677.03011号 西奥。计算。科学。 59，编号1-2，115-131（1988）. 审核人：C.马萨拉吉 MSC公司：03B45 03B70号 68问题65 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人，Theor。计算。科学。59，编号1--2，115-131（1988；Zbl 0677.03011） 全文： 内政部
M.C.布朗。；E.M.克拉克。；O·格伦伯格。 描述时间逻辑中的克里普克结构。 （英语） Zbl 0626.03019号 TAPSOFT’87，程序。国际Conf.软件开发，比萨/意大利1987年，第1卷：代数和编程树，Lect。注释计算。科学。249, 256-270 (1987). 审核人：H.西村 MSC公司：03B70号 03B45 第68页第25页 68问题65 PDF格式BibTeX公司 XML格式
迈克尔·C·布朗。；埃德蒙·克拉克（Edmund M.Clarke）。；大卫·L·迪尔。；巴德·米什拉 使用时序逻辑对时序电路进行自动验证。 （英语） Zbl 0604.94011号 IEEE传输。计算。 35, 1035-1044 (1986).MSC公司：94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人，IEEE Trans。计算。351035-1044（1986年；兹bl 0604.94011） 全文： 内政部
E.M.克拉克。；爱默生，E.A。；西斯特拉，A.P。 使用时态逻辑规范对有限状态并发系统进行自动验证。 （英语） Zbl 0591.68027号 ACM事务处理。程序。语言系统。 8244-263（1986年）.MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，ACM Trans。程序。语言系统。8244--263（1986年；Zbl 0591.68027） 全文： 内政部 链接
西斯特拉，A.P。；E.M.克拉克。 命题线性时序逻辑的复杂性。 （英语） 兹比尔0632.68034 J.助理计算。机器。 32, 733-749 (1985).MSC公司：68问题65 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{E.M.Clarke}，J.协会计算。机器。32733--749（1985年；Zbl 0632.68034） 全文： 内政部
米什拉，B。；E.克拉克。 使用时序逻辑对异步电路进行分级验证。 （英语） Zbl 0584.94022号 西奥。计算。科学。 38, 269-291 (1985). 审核人：利沃夫斯基 MSC公司：94立方厘米 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{B.Mishra}和\textit{E.Clarke}，Theor。计算。科学。38、269--291（1985；Zbl 0584.94022） 全文： 内政部
E.M.克拉克。；M.C.布朗。；艾默生，E.A。；西斯特拉，A.P。 使用时序逻辑自动验证有限状态系统。 （英语） Zbl 0582.68009号 并发系统的逻辑和模型，Proc。北约高级研究所，拉科勒苏罗普/法国1984，北约ASI Ser。，序列号。F 13，3-26（1985）。 审核人：V.卡尔马图亚努 MSC公司：68问题65 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式
西斯特拉，A.P。；E.M.克拉克。；北弗朗西兹。；A.R.梅耶。 消息缓冲区可以在线性时态逻辑中公理化吗？ （英语） Zbl 0591.68022号 Inf.控制 63, 88-112 (1984).MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人，《Inf.Control》63，88--112（1984；Zbl 0591.68022） 全文： 内政部
E.克拉克。；米什拉，B。 异步电路的自动验证。 （英语） Zbl 0541.94038号 《程序逻辑》，研讨会，匹兹堡/宾夕法尼亚州，1983年，莱克特。注释计算。科学。164, 101-115 (1984).MSC公司：94立方厘米 68问题65 第68页第25页 94C15号机组 PDF格式BibTeX公司 XML格式
埃德蒙·克拉克（Edmund M.Clarke）。；艾默生·E·艾伦 使用分支时间时序逻辑设计和合成同步骨架。 （英语） Zbl 0546.68014号 项目逻辑，约克敦高地/纽约1981年研讨会，Lect。注释计算。科学。131, 52-71 (1982). 审核人：H.Fuss和E.Smith MSC公司：第68页第25页 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式
艾默生·E·艾伦；埃德蒙·克拉克（Edmund M.Clarke）。 使用分支时间时序逻辑合成同步骨架。 （英语） Zbl 0514.68032号 科学。计算。程序。 2, 241-266 (1982).MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit｛E.A.爱默生｝和\textit｛E.M.克拉克｝，科学。计算。程序。2，241--266（1982；Zbl 0514.68032） 全文： 内政部