何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 （英语） Zbl 1518.68207号 Inf.计算。 280，文章ID 104639，18 p.（2021）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人，《信息计算》。280，文章ID 104639，18 p.（2021；Zbl 1518.68207） 全文： 内政部 链接
乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 通过平移证明自然上的逐点度量时态逻辑的定理。 （英语） Zbl 1459.03012号 J.汽车。推理 64，第8期，1553-1610（2020）.MSC公司：03B35型 03B44号 03B70号 68T40型 第68卷第15页 90B20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人，J.Autom。推理64，No.8，1553--1610（2020；Zbl 1459.03012） 全文： 内政部
雷诺兹，马克 LTL表的新规则。 （英语） Zbl 1478.03030号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016）。MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Reynolds｝，电子公司。程序。西奥。计算。科学。（EPTCS）226287--301（2016；Zbl 1478.03030） 全文： arXiv公司 链接
维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 （英语） Zbl 1356.68146号 西奥。计算。科学。 655，B部分，155-192（2016）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan}，Theor。计算。科学。655，B部分，155--192（2016；Zbl 1356.68146） 全文： 内政部 arXiv公司
维克多·舒潘 通过时间分辨率提取LTL的不可满足核心。 （英语） Zbl 1338.68170号 学报信息。 53，第3期，247-299（2016）.MSC公司：60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan}，Acta Inf.53，No.3，247--299（2016；Zbl 1338.68170） 全文： 内政部 arXiv公司
于斌;段振华;田聪 红绿灯控制系统的有界模型检验。 （英语） Zbl 1351.68169号 薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，63-74，仅电子版（2014）。MSC公司：60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人，《电子》。注释Theor。计算。科学。309，63-74（2014年；兹bl 1351.68169） 全文： 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫，迈克尔 带有描述逻辑的时间概念数据建模食谱。 （英语） Zbl 1354.68245号 ACM事务处理。计算。日志。 第15号第3条第25条第50页（2014年）.MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Artale｝等人，ACM Trans。计算。日志。15，第3号，第25条，50页（2014；Zbl 1354.68245） 全文： 内政部 arXiv公司 链接
张，兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 分支时间时序逻辑CTL的分解演算。 （英语） 兹比尔1287.03033 ACM事务处理。计算。日志。 第15号第1条第10条第38页（2014年）.MSC公司：03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，ACM翻译。计算。日志。15，第1号，第10条，第38页（2014；Zbl 1287.03033） 全文： 内政部
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 （英语） Zbl 1291.68250号 形式方法系统。设计。 43，第3期，450-492（2013）.MSC公司：60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人，《形式方法系统》。设计。43，第3号，450-492（2013；Zbl 1291.68250） 全文： 内政部
克里斯汀·罗泽尔。 线性时序逻辑符号模型检查。 （英语） 兹比尔1298.68176 计算。科学。版次。 5，第2期，163-203（2011）.MSC公司：60年第68季度 03B44号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Rozier}，计算。科学。第5版，第2号，163--203（2011；Zbl 1298.68176） 全文： 内政部
埃德蒙·克拉克（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号 68-03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}，莱克特。注释计算。科学。5000，1-26（2008年；兹比尔1142.68046） 全文： 内政部