詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 （英语） Zbl 07798814号 Inf.计算。 295，A部分，文章ID 105087，22 p.（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人，《信息计算》。295，A部分，文章ID 105087，22 p.（2023；Zbl 07798814） 全文： 内政部
托拜厄斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 递归概率程序的模型检查时间属性。 （英语） Zbl 07788996号 日志。方法计算。科学。 19，第4号，第24号论文，30页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Winkler}等人，日志。方法计算。科学。19，第4号，第24号论文，30页（2023；Zbl 07788996） 全文： 内政部 arXiv公司
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 （英语） Zbl 07713585号 ACM事务处理。计算。日志。 24，第3号，第24号论文，32页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。24，第3号，第24号论文，32页（2023；Zbl 07713585） 全文： 内政部
托拜厄斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 递归概率程序的模型检查时间属性。 （英语） Zbl 07793042号 Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 449-469 (2022).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Winkler}等人，Lect。注释计算。科学。13242、449--469（2022；Zbl 07793042） 全文： 内政部 arXiv公司
詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;贝内迪克特·诺德霍夫 CaRet的分支时间变量。 （英语） Zbl 1508.68219号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 153-170 (2018).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人，Lect。注释计算。科学。10869、153-170（2018年；Zbl 1508.68219） 全文： 内政部
亚历山大·韦内特 基于树自动机的VLDL可满足性和模型检查。 （英语） Zbl 1491.68114号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第47条，第13页（2018年）。MSC公司：60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Weinert｝，LIPIcs——莱布尼茨国际会议记录。通知。93，第47条，第13页（2018；Zbl 1491.68114） 全文： 内政部 arXiv公司