卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 关于分支时间属性的一阶运行时强制。 （英语） Zbl 07768655号 学报信息。 60，第4期，385-451（2023年）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《信息学报》第60期，第4期，第385--451页（2023年；Zbl 07768655） 全文： 内政部
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；弗洛里安·芬克；西蒙·詹奇；雅各布皮里鲍尔；罗宾·齐梅克 操作因果关系-必须充分和足够必要。 （英语） Zbl 1524.68185号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022；Zbl 1524.68185） 全文： 内政部
科宁，诺琳；雷蒙·达赫塞特；伯恩德·芬克贝纳；哈达尔·弗兰克尔；克里斯托弗·哈恩；汤姆·霍拉克；尼古拉斯·梅茨格；朱利安·西伯 解释超属性违规。 （英语） Zbl 1514.68127号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 407-429 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Coenen}等人，Lect。注释计算。科学。13371407--429（2022年；Zbl 1514.68127） 全文： 内政部 arXiv公司
卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 通过抑制在运行时强制执行。 （英语） 兹比尔1520.68069 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第34条，第17页（2018年）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。118，第34条，第17页（2018；Zbl 1520.68069） 全文： 内政部 arXiv公司
D’Silva，维杰；马塞洛·索萨 完全抽象和子类模态逻辑。 （英语） 兹比尔1484.68099 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 169-186 (2017).MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.D'Silva}和\textit{M.Sousa}，莱克特。注释计算。科学。10145，169--186（2017；Zbl 1484.68099） 全文： 内政部
田聪；段振华；张楠 模型检查中的一种有效的抽象重定义方法。 （英语） Zbl 1252.68197号 西奥。计算。科学。 461, 76-85 (2012).MSC公司：60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人，Theor。计算。科学。461，76-85（2012；Zbl 1252.68197） 全文： 内政部
佩德罗·巴尔塔扎尔；保罗·马特乌斯；拉贾戈帕尔·纳加拉扬；尼古拉斯·帕帕尼科劳 外部概率计算树逻辑。 （英语） Zbl 1279.03054号 Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，95-110（2007）。MSC公司：03B70号 03B44号 87年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}等人，《电子》。注释Theor。计算。科学。190，第3号，95--110（2007；Zbl 1279.03054） 全文： 内政部
五月，沃尔夫冈；彼得·施密特。 一阶分支时间逻辑的表演算。 （英语） Zbl 1422.03028号 Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 399-413 (1996).MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.May}和\textit{P.H.Schmitt}，莱克特。注释计算。科学。1085399-413（1996年；Zbl 1422.03028） 全文： 内政部