克莱尔·狄克逊 用子句分解法证明定理：从过去到现在。 （英语） Zbl 07670970号 Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 19-27 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}，莱克特。注释计算。科学。13035、19-27（2021；Zbl 07670970） 全文： 内政部
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许可证
阿尔贝托·格里乔;马可·罗维里;斯特凡诺·托内塔 基于SAT的模型检查的认证证明。 （英语） Zbl 1522.68319号 形式方法系统。设计。 57，编号2，178-210（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人，《形式方法系统》。设计。57，编号2，178--210（2021；Zbl 1522.68319） 全文： 内政部 链接
宋，傅;吴志林 关于数据变量量化的时序逻辑：可判定性和复杂性。 （英语） Zbl 1353.68181号 Inf.计算。 251, 104-139 (2016).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Song｝和\textit｛Z.Wu｝，信息计算。251104--139（2016年；Zbl 1353.68181） 全文： 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·雷日科夫;迈克尔·扎克哈里亚舍夫 带有描述逻辑的时间概念数据建模食谱。 （英语） 兹比尔1354.68245 ACM事务处理。计算。日志。 第15号第3条第25条第50页（2014年）.MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，ACM翻译。计算。日志。15，第3号，第25条，50页（2014；Zbl 1354.68245） 全文： 内政部 arXiv公司 链接
迈克尔·费希尔 介绍使用时态逻辑的实用形式化方法。 （英语） 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 1250.03018号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，261-276（2009）。MSC公司：03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Ludwig}和\textit{U.Hustadt}，莱克特。注释计算。科学。5663、261--276（2009年；Zbl 1250.03018） 全文： 内政部
迈克尔·费希尔;鲍里斯·科涅夫;阿列克谢·利西萨 容错协议的时间验证。 （英语） 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） 全文： 内政部
Horrocks，伊恩;安德烈·沃伦科夫 使用定理证明器对表达性本体语言的推理支持。 （英语） 兹比尔1177.68179 Dix，Jürgen（编辑）等人，《信息和知识系统基础》。第四届国际研讨会，FoIKS 2006，匈牙利布达佩斯，2006年2月14-17日。诉讼程序。柏林：施普林格（ISBN 3-540-31782-1/pbk）。计算机科学课堂讲稿3861201-218（2006）。MSC公司：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}和\textit{A.Voronkov}，莱克特。注释计算。科学。3861201-218（2006年；兹bl 1177.68179） 全文： 内政部
克莱尔·狄克逊 使用知识的时序逻辑进行规范和验证–案例研究。 （英语） Zbl 1095.68050号 J.应用。日志。 4，第1期，50-78（2006）.MSC公司：60年第68季度 03B42号 03B44号 03B35型 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}，J.应用。日志。4，编号1，50--78（2006；Zbl 1095.68050） 全文： 内政部
弗南德斯·加戈，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） 全文： 内政部
乌尔里希·赫斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 TeMP：一个时态单数证明。 （英语） Zbl 1126.68568号 David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，326-330（2004）。MSC公司：68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛U.Hustadt｝等人，Lect。注释计算。科学。3097326-330（2004年；Zbl 1126.68568） 全文： 内政部