埃德蒙·克拉克(Edmund M.Clarke)。;艾默生·E·艾伦 使用分支时间-时间逻辑设计和合成同步骨架。 (英语) Zbl 1142.68431号 Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学讲义5000,196-215(2008)。MSC公司:60年第68季度 03B44号 03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}和\textit{E.A.Emerson},Lect。注释计算。科学。5000、196-215(2008;Zbl 1142.68431) 全文: 内政部
E.M.克拉克。;艾默生,E.A。;西斯特拉,A.P。 使用时态逻辑规范对有限状态并发系统进行自动验证。 (英语) Zbl 0591.68027号 ACM事务处理。程序。语言系统。 8, 244-263 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,ACM Trans。程序。语言系统。8244--263(1986年;Zbl 0591.68027) 全文: 内政部 链接
E.M.克拉克。;M.C.布朗。;艾默生,E.A。;西斯特拉,A.P。 使用时序逻辑自动验证有限状态系统。 (英语) Zbl 0582.68009号 并发系统的逻辑和模型。北约高级研究所,拉科勒苏罗普/法国1984,北约ASI Ser。,序列号。F 13,3-26(1985)。 审核人:V.Calmatuianu公司 MSC公司:第68季度第65季度 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式
埃德蒙·克拉克(Edmund M.Clarke)。;艾默生·E·艾伦 使用分支时间时序逻辑设计和合成同步骨架。 (英语) Zbl 0546.68014号 项目逻辑,约克敦高地/纽约1981年研讨会,Lect。注释计算。科学。131, 52-71 (1982). 审核人:H.Fuss和E.Smith MSC公司:68N25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式
艾默生·E·艾伦;埃德蒙·克拉克(Edmund M.Clarke)。 使用分支时间时序逻辑合成同步骨架。 (英语) Zbl 0514.68032号 科学。计算。程序。 2, 241-266 (1982).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{E.M.Clarke},科学。计算。程序。2,241--266(1982;Zbl 0514.68032) 全文: 内政部
艾默生·E·艾伦;埃德蒙·克拉克(Edmund M.Clarke)。 使用固定点描述并行程序的正确性属性。 (英语) Zbl 0456.68016号 自动化,语言和编程,第七届Colloq.,Noordwijkerhout/荷兰1980,Lect。注释计算。科学。第85169-181页(1980年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式