亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；Stefano托内塔 安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07731941号 日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941） 全文： 内政部 arXiv公司
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；Stefano托内塔 安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07793032号 Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13242, 244-263 (2022).MSC公司：68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。票据计算。科学。13242、244--263（2022；Zbl 07793032） 全文： 内政部
乌迪·博克；卡洛利纳，莱蒂宁；所罗门·西克特 关于自动机到线性时序逻辑的转换。 （英语） 兹伯利07793027 Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13242140-160（2022）。MSC公司：68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人，Lect。票据计算。科学。13242，140-160（2022；Zbl 07793027） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎；鲁本·卢比奥；所罗门·西克特 线性时序逻辑规范化的简单重写系统。 （英语） Zbl 1528.68159号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 208-227 (2022).MSC公司：第68季度第42季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，Lect。票据计算。科学。13660208-227（2022年；Zbl 1528.68159） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎 回到未来：重新审视线性时序逻辑。 （英语） Zbl 07495100号 Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12803, 3-13 (2021).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}，莱克特。票据计算。科学。12803，3--13（2021；Zbl 07495100） 全文： 内政部
马蒂厄·雷纳德；安托万·罗莱；伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 （英语） Zbl 1458.68120号 正式Asp。计算。 32，编号2-3，315-360（2020）.MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人，《正式Asp》。计算。32，编号2--3，315--360（2020；Zbl 1458.68120） 全文： 内政部 哈尔
塞萨尔·桑切斯；杰拉尔多·施奈德；沃尔夫冈·阿伦特；埃齐奥·巴托西；多梅尼科·比安库利；克里斯蒂安·科伦坡；伊利耶斯·法尔科内；阿德里安·弗兰卡兰扎；Sr Djan Krstić；Lourenço，Joáo M。；德扬·尼科维奇；戈登·佩斯。；何塞·鲁菲诺；辛戈尔斯，朱利安；德米特里·特拉泰尔；亚历山大·韦斯 高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） 兹比尔1425.68268 形式方法系统。设计。 54，第3号，279-335（2019）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268） 全文： 内政部 arXiv公司
阿德里安·弗兰卡兰扎；卢卡·埃特罗；安娜·英格尔夫斯多蒂 具有递归的Hennessy-Milner逻辑的可监控性。 （英语） Zbl 1370.68203号 形式方法系统。设计。 51，第1号，87-116（2017）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人，《形式方法系统》。设计。51，第1号，87--116（2017；Zbl 1370.68203） 全文： 内政部
阿德里安·弗兰卡兰扎；塞舌尔，奥尔德林 合成正确的并发运行时监控器。 （英语） Zbl 1323.68373号 形式方法系统。设计。 46，第3期，226-261（2015）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{A.Seychell}，《形式方法系统》。设计。46，第3号，226--261（2015；Zbl 1323.68373） 全文： 内政部 链接
博尔祖·博纳克达尔普尔；萨曼内·纳瓦布普尔；塞巴斯蒂安·费奇迈斯特 时间触发的运行时验证。 （英语） Zbl 1291.68248号 形式方法系统。设计。 43，第1期，29-60（2013）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人，《形式方法系统》。设计。43，第1号，第29--60号（2013；Zbl 1291.68248） 全文： 内政部
拉鲁西尼，F。；Schnoebelen，哲学博士 时间逻辑与过去的层次结构。 （英语） Zbl 0873.68068号 西奥。计算。科学。 148，第2期，303-324（1995）.MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{P.Schnoebelen}，Theor。计算。科学。148，编号2，303--324（1995；Zbl 0873.68068） 全文： 内政部