鲍迈斯特,简;科宁,诺林;博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳;塞萨尔·桑切斯 异步超属性的时态逻辑。 (英语) Zbl 1493.68205号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 694-717 (2021).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Baumeister}等人,Lect。注释计算。科学。12759、694--717(2021年;Zbl 1493.68205) 全文: 内政部 arXiv公司
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 第68季度第45季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,《信息学报》57,第1--2、3--36期(2020年;Zbl 1435.68200) 全文: 内政部 arXiv公司
汤姆·梅尔姆 符号轨迹评估。 (英语) Zbl 1392.68261号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。831-870 (2018).MSC公司:60年第68季度 03B44号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham},in:模型检查手册。查姆:施普林格。831--870(2018;Zbl 1392.68261) 全文: 内政部
彼得·费蒙维尔;伯恩德·芬克贝纳;马库斯·拉贝。;Leander Tentrup公司 有界合成的编码。 (英语) Zbl 1452.68118号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 354-370 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}等人,Lect。注释计算。科学。10205、354--370(2017;Zbl 1452.68118) 全文: 内政部 arXiv公司