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) 全文: DOI程序
E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 两种有限状态并发系统验证方法的综合。 (英语) Zbl 0782.68078号 J.日志。计算。 2,第5期,605-618(1992).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,J.Log。计算。2,第5号,605--618(1992;Zbl 0782.68078) 全文: DOI程序
E.M.克拉克。;I.A.布朗。;库尔山,R.P。 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 (英语) Zbl 0759.68063号 CAAP’90,程序。第15届Colloq.,哥本哈根/丹麦,1990年,法律。注释计算。科学。431, 103-116 (1990).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,Lect。注释计算。科学。431103--116(1990年;Zbl 0759.68063)
E.M.克拉克。;艾默生,E.A。;西斯特拉,A.P。 使用时态逻辑规范对有限状态并发系统进行自动验证。 (英语) Zbl 0591.68027号 ACM事务处理。程序。语言系统。 8244-263(1986年).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,ACM Trans。程序。语言系统。8244--263(1986年;Zbl 0591.68027) 全文: DOI程序 链接