安德烈亚斯·克雷布斯;阿恩·迈尔;马丁·蒙德亨克 CTL操作员指纹检查模型。 (英语) Zbl 1423.68288号 学报信息。 56,第6期,487-519(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人,《学报》第56期,第6期,第487--519页(2019年;Zbl 1423.68288) 全文: 内政部 arXiv公司
马丁·蒙德亨克;托马斯·施耐德;托马斯·施温蒂克;沃尔克·韦伯 传递框架上混合逻辑的复杂性。 (英语) Zbl 1215.03035号 J.应用。日志。 8,第4期,422-440(2010).MSC公司:03B45号 03B25号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mundhenk}等人,J.Appl。日志。8号,第4号,422-440(2010年;兹bl 1215.03035) 全文: 内政部
迈克尔·鲍兰;马丁·蒙德亨克;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 LTL模型检查的可处理性:好的、坏的和丑陋的片段。 (英语) Zbl 1347.68217号 Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231277-292(2009)。MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bauland}等人,《电子》。理论注释。计算。科学。231277--292(2009年;Zbl 1347.68217) 全文: 内政部
阿恩·迈尔;迈克尔·托马斯;赫里贝特·沃尔默;马丁·蒙德亨克 CTL和CTL片段可满足性的复杂性。 (英语) Zbl 1186.68212号 发现的国际期刊。计算。科学。 2009年第5期第20期第901-918页; 勘误表同上26,第8号,1189-1190(2015)。MSC公司:2017年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,国际期刊发现。计算。科学。20,第5号,901--918(2009;Zbl 1186.68212) 全文: 内政部
阿恩·迈尔;马丁·蒙德亨克;迈克尔·托马斯;赫里贝特·沃尔默 CTL和(text{CTL}^*\)片段可满足性的复杂性。 (英语) Zbl 1337.68134号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223201-213(2008)。MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,《电子》。理论注释。计算。科学。223201--213(2008;Zbl 1337.68134) 全文: 内政部