G.库尔蒂斯。;狄克逊,C。;M·费希尔。;利西萨,A。 通过一阶时序逻辑对先导/跟随系统进行参数化验证。 (英语) Zbl 1492.68087号 形式方法系统。设计。 58,第3号,440-468(2021); 更正同上,第60号,第325-326(2022)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人,《形式方法系统》。设计。58,第3号,440-468(2021;Zbl 1492.68087) 全文: 内政部 OA许可证
迈克尔·费希尔 介绍使用时态逻辑的实用形式化方法。 (英语) Zbl 1250.68003号 新泽西州霍博肯:John Wiley&Sons(ISBN 978-0-470-02788-2/hbk;978-1-11-999147-2/电子书)。vii,第353页。(2011). 审核人:Joost-Pieter Katoen(亚琛) MSC公司:68-01 03-01 03B44号 03B70号 60年第68季度 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher},使用时态逻辑的实用形式化方法介绍。新泽西州霍博肯:约翰·威利父子公司(2011;Zbl 1250.68003) 全文: 内政部 链接
迈克尔·费希尔;鲍里斯·科涅夫;阿列克谢·利西萨 容错协议的时间验证。 (英语) Zbl 1234.68255号 Michael Butler(编辑)等人,容错方法、模型和工具。柏林:施普林格出版社(ISBN 978-3-642-00866-5/pbk)。计算机科学课堂讲稿5454,44-56(2009)。MSC公司:60年第68季度 03B44号 68米15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher}等人,Lect。注释计算。科学。5454、44-56(2009年;Zbl 1234.68255) 全文: 内政部
克莱尔·狄克逊;玛丽·卡门·费尔南德斯·加戈;迈克尔·费希尔;范德霍克,威比 知识的时间逻辑及其在安全中的应用。 (英语) Zbl 1277.94051号 Dima,Cétélin(ed.)等人,《信息和计算机安全第一次研讨会论文集》(ICS 2006),罗马尼亚蒂米索拉,2006年9月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记186,27-42(2007)。MSC公司:94A62型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,《电子》。注释Theor。计算。科学。186、27-42(2007年;Zbl 1277.94051) 全文: 内政部
迈克尔·费舍尔 实现时序逻辑:用于执行和证明的工具。 (英语) Zbl 1236.68224号 Toni,Francesca(编辑)等人,《多智能体系统中的计算逻辑》。第六届国际研讨会,CLIMA VI,英国伦敦,2005年6月27日至29日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 3-540-33996-5/pbk)。计算机科学3900课堂讲稿。人工智能课堂讲稿,129-142(2006)。MSC公司:68T27型 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher},莱克特。注释计算。科学。3900、129--142(2006年;Zbl 1236.68224) 全文: 内政部
弗南德斯·加戈,M.C。;美国Hustadt。;狄克逊,C。;M·费希尔。;科涅夫,B。 实践中的一阶时间验证。 (英语) 兹伯利1108.03018 J.汽车。推理 34,第3期,295-321(2005).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.C.Fernández-Gago}等人,J.Autom。推理34,No.3,295--321(2005;Zbl 1108.03018) 全文: 内政部
鲍里斯·科涅夫;安纳托利·德吉亚列夫;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希·赫斯塔特 机械化一阶时间分辨率。 (英语) Zbl 1086.03009号 Inf.计算。 199,编号1-2,55-86(2005).MSC公司:03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Inf.Comput。199,编号1--2,55-86(2005;Zbl 1086.03009) 全文: 内政部