贝内迪克特·博利格;迪特里赫·库斯克;罗伊·门尼克 模型检查多堆栈系统的复杂性。 (英语) Zbl 1372.68164号 理论计算。系统。 60,第4期,695-736(2017).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,理论计算。系统。60,第4号,695--736(2017;Zbl 1372.68164) 全文: 内政部 链接
迪特里赫·库斯克 加权异步细胞自动机。 (英语) Zbl 1164.68023号 西奥。计算。科学。 374,编号1-3,127-148(2007).MSC公司:68问题80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Kuske},Theor。计算。科学。374,编号1--3,127-148(2007;Zbl 1164.68023) 全文: 内政部
布莱斯·基内斯特;迪特里赫·库斯克;麝香草,安卡 存在有界通信自动机的Kleene定理和模型检查算法。 (英语) Zbl 1104.68066号 Inf.计算。 204,编号6920-956(2006).MSC公司:60年第68季度 68瓦05 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人,《信息计算》。204,第6号,920--956(2006;Zbl 1104.68066) 全文: 内政部
迪特里赫·库斯克 无限消息序列图的常规集。 (英语) Zbl 1082.68056号 Inf.计算。 187,第1期,80-109(2003).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske},Inf.计算。187,第1号,80--109(2003;Zbl 1082.68056) 全文: 内政部
曼弗雷德·德罗斯特;迪特里赫·库斯克 并发自动机中可识别和逻辑定义的无限计算语言。 (英语) Zbl 1319.68133号 发现的国际期刊。计算。科学。 9,第3号,295-313(1998).MSC公司:65年第68季度 05年3月 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{D.Kuske},国际期刊发现。计算。科学。9,第3号,295--313(1998;Zbl 1319.68133) 全文: 内政部
费利佩·布拉乔;曼弗雷德·德罗斯特;迪特里赫·库斯克 并发自动机中计算的依赖顺序表示。 (英语) Zbl 0902.68126号 西奥。计算。科学。 174,编号1-2,67-96(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bracho}等人,Theor。计算。科学。174,编号1--2,67-96(1997;Zbl 0902.68126) 全文: 内政部