亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 （英语） Zbl 1443.68104号 Inf.计算。 272，文章ID 104502，17 p.（2020）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，信息计算。272，文章ID 104502，17 p.（2020；Zbl 1443.68104） 全文： 内政部
斯特凡诺·托内塔 具有事件冻结功能的线性时间时序逻辑。 （英语） Zbl 1483.68207号 Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256195-209（2017）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Tonetta}，电子。程序。西奥。计算。科学。（EPTCS）256195--209（2017年；兹bl 1483.68207） 全文： arXiv公司 链接
托马斯·布雷什;伊利亚斯·格罗斯塔霍普洛斯;雅罗斯拉夫·凯兹尼科尔;弗朗蒂舍克·普拉舍尔;彼得·特马 不变量求精方法的不变量模式的形式化。 （英语） Zbl 1454.68025号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 602-618 (2015).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Bureš}等人，Lect。注释计算。科学。8950602-618（2015年；兹比尔1454.68025） 全文： 内政部
理查德·巴纳赫;朱慧彪;苏、文;黄润磊 连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计：简单的列车停车应用程序。 （英语） Zbl 1342.93065号 正式Asp。计算。 26，第2期，319-366（2014）.MSC公司：93立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人，《形式Asp》。计算。26，第2号，319--366（2014；Zbl 1342.93065） 全文： 内政部
三野胜彦 非自反模态逻辑的混合。 （英语） Zbl 1278.03045号 Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，95-111（2007）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katsuhiko}，电子。注释Theor。计算。科学。174，第6号，95--111（2007；Zbl 1278.03045） 全文： 内政部
C·蓬萨德。;马索内特，P。;J.F.莫尔德雷兹。;A.里福。;van Lamsweerde，A。;Tran Van，H。 关键任务系统的早期验证和确认。 （英语） Zbl 1116.68053号 形式方法系统。设计。 30，第3期，233-247（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ponsard}等人，《形式方法系统》。设计。30，第3233-247号（2007年；兹bl 1116.68053） 全文： 内政部
肖本斯，P.-Y。;J.-F.拉斯金。;亨廷格，T.A。 实时逻辑公理。 （英语） Zbl 0994.03009号 西奥。计算。科学。 274，编号1-2，151-182（2002）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.Schobbens}等人，Theor。计算。科学。274，编号1-2-151-182（2002年；兹bl 0994.03009） 全文： 内政部
菲利普·巴尔比亚尼 不平等而无自反性。 （英语） 兹比尔1033.03508 J.应用。非类别。日志。 9，第4期，523-534（1999）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}，J.应用。非类别。日志。9，第4号，523--534（1999；Zbl 1033.03508） 全文： 内政部
克里斯托夫·布尔佐斯卡 度量时态逻辑编程。 （英语） Zbl 0902.68029号 西奥。计算。科学。 202，编号1-2，55-125（1998）.MSC公司：68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{C.Brzoska}，Theor。计算。科学。202，编号1--2，55-125（1998年；Zbl 0902.68029） 全文： 内政部
迈克尔·汉森。;周朝晨 持续时间演算：逻辑基础。 （英语） Zbl 0887.68101号 正式Asp。计算。 9，第3期，283-330（1997）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}和\textit{Z.Chaochen}，正式Asp。计算。9，第3号，283--330（1997；Zbl 0887.68101） 全文： 内政部
安吉洛·蒙塔纳里;阿尔贝托，Policriti 度量和分层时序逻辑的可判定性结果。 （英语） Zbl 0858.03018号 圣母院J.形式逻辑 37，第260-282号（1996年）. 审核人：D.Gruska（布拉迪斯拉发） MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Montanari｝和\textit｛A.Policiti｝，圣母院《形式逻辑》37，第2期，260-282（1996；Zbl 0858.03018） 全文： 内政部 链接
周平;乔泽夫·胡曼;鲁德·柯伊伯 具有显式时钟时序逻辑的实时系统的组合验证。 （英语） Zbl 0852.68056号 正式Asp。计算。 8，第3期，294-323（1996）.MSC公司：60年第68季度 03B45号 68M99型 68T27型 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{P.Zhou}等人，正式Asp。计算。8，第3号，294--323（1996；Zbl 0852.68056） 全文： 内政部
亚辛·拉赫内切;乔泽夫·胡曼 带持续时间的度量时态逻辑。 （英语） 兹伯利0874.68270 西奥。计算。科学。 138，第1号，169-199（1995）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lakhneche}和\textit{J.Hooman}，Theor。计算。科学。138，第1号，169--199（1995；Zbl 0874.68270） 全文： 内政部