安德烈亚斯·克雷布斯;阿恩·迈尔;马丁·蒙德亨克 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公司
马丁·蒙德亨克;施耐德,托马斯;托马斯·施温蒂克;沃尔克·韦伯 传递框架上混合逻辑的复杂性。 (英语) 兹比尔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;Zbl 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}等人,《电子》。注释Theor。计算。科学。231277--292(2009年;Zbl 1347.68217) 全文: 内政部
阿恩·迈尔;托马斯,迈克尔;赫里贝特·沃尔默;马丁·蒙德亨克 CTL和CTL片段可满足性的复杂性。 (英语) Zbl 1186.68212号 发现的国际期刊。计算。科学。 20,第5期,901-918(2009); 勘误表同上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}等人,电子。注释Theor。计算。科学。223201--213(2008;Zbl 1337.68134) 全文: 内政部