×

找到11个文档（结果1-11）

最新的 引文 关联
安德烈亚斯·克雷布斯;阿恩·迈尔;乔尼·维特玛;马丁·齐默尔曼

超属性规范和验证的团队语义。 （英语） Zbl 1510.68043号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第10条，第16页（2018年）。
MSC公司：60年第68季度 03B44号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Krebs}等人，LIPIcs——莱布尼茨国际程序。通知。117，第10条，第16页（2018；Zbl 1510.68043）
全文： 内政部 arXiv公司
阿恩·迈尔;塞巴斯蒂安·奥德尼亚克;拉马努扬·斯里德哈兰;艾伦娜·辛德勒

线性时序逻辑的后门。 （英语） Zbl 1398.68257号

郭炯（编辑）等，第十一届参数化精确计算国际研讨会（IPEC 2016），丹麦奥胡斯，2016年8月24-26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-023-1）。LIPIcs–莱布尼茨国际信息学论文集63，第23条，第17页（2017年）。
MSC公司：65年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Meier}等人，LIPIcs——莱布尼茨国际程序。通知。63，第23条，第17页（2017年；兹bl 1398.68257）
全文： 内政部 arXiv公司
阿恩·迈尔;迈克尔·托马斯;赫里贝特·沃尔默;马丁·蒙德亨克

勘误表：“CTL和（mathrm{CTL}^\star）片段可满足性的复杂性”。 （英语） Zbl 1405.68130号

发现的国际期刊。计算。科学。 26，第8期，1189-1190（2015）.
MSC公司：2017年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Meier}等人，国际期刊发现。计算。科学。26，第8号，1189--1190（2015；Zbl 1405.68130）
全文： 内政部
马丁·吕克;阿恩·迈尔;伊琳娜·辛德勒

CTL的参数化复杂性。 （英语） Zbl 1451.68138号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8977, 549-560 (2015).
MSC公司：第68季度27 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Lück}等人，Lect。注释计算。科学。8977，549-560（2015；Zbl 1451.68138）
全文： 内政部
奥拉夫·拜尔斯多夫;阿恩·迈尔;马丁·蒙登克;托马斯·施耐德;迈克尔·托马斯;赫里贝特·沃尔默

模型检查CTL几乎总是固有的顺序性。 （英语） Zbl 1220.68068号

日志。方法计算。科学。 7，第2号，第12号论文，21页（2011年）.
审核人：克里斯特尔·拜尔（德累斯顿）
MSC公司：60年第68季度 2017年第68季度 65年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，《日志》。方法计算。科学。7，第2号，第12号论文，21页（2011；Zbl 1220.68068）
全文： 内政部
阿恩·迈尔;迈克尔·托马斯;赫里贝特·沃尔默;马丁·蒙德亨克

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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段