克里斯托夫·梅内尔;克里斯蒂安·斯坦吉尔 布尔函数的数据结构。BDD–基础和应用。 (英语) Zbl 1052.68135号 Alt,Helmut(编辑),计算离散数学。高级讲座。柏林:施普林格出版社(ISBN 3-540-42775-9)。莱克特。注释计算。科学。2122, 61-78 (2001).MSC公司:68单位07 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{C.Stangier},Lect。注释计算。科学。2122、61-78(2001年;Zbl 1052.68135)
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 用于优化有限状态机的OBDD表示的局部编码转换。 (英语) Zbl 1001.68028号 形式方法系统。设计。 18,第3期,285-301(2001).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald},《形式方法系统》。设计。18,第3号,285--301(2001;Zbl 1001.68028) 全文: 内政部
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 状态编码对有限状态机OBDD表示的影响。 (英语) Zbl 0927.68051号 西奥。通知。申请。 33,第1期,21-31(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald},Theor。通知。申请。33,编号1,21--31(1999;Zbl 0927.68051) 全文: 内政部 Numdam编号 欧洲DML
克里斯托夫·梅内尔;哈拉尔萨克 奇偶校验OBDDs–用于概率验证的aBDD结构。 (英语) Zbl 0920.68079号 Baier,Christel(ed.)等人,1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率方法验证国际研讨会(PROBMIV’98)会议记录(第十三届IEEE计算机科学逻辑国际研讨会的卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。22,第11号电子文件,(1998年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{H.Sack},in:第一届概率验证方法国际研讨会论文集(PROBMIV’98),印第安纳波利斯,印第安纳州,美国,1998年6月19日至20日(IEEE第13届国际计算机科学逻辑研讨会卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔。电子文件11号(1998;Zbl 0920.68079) 全文: 链接
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 超大规模集成电路设计中的算法和数据结构。Transl.公司。来自德国。 (英语) Zbl 0907.68116号 柏林:斯普林格。xi,267页(1998年)。MSC公司:68瓦35 68-01 第68页,共15页 68第05页 68宽10 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald},VLSI设计中的算法和数据结构。Transl.公司。来自德国。柏林:施普林格(1998;Zbl 0907.68116) 全文: 链接
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 超大规模集成电路设计中的算法和数据结构。DBDD-基础和应用。(VLSI-Design.DBDD-Gundlagen und Anwendungen中的算法和日期说明。) (德语) 兹比尔0899.68040 柏林:斯普林格。xiii,283 p.(1998)。 审核人:唐纳德·费希尔(福克斯岛) MSC公司:68瓦35 68-01 第68页,共15页 68第05页 68宽10 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald},VLSI-Design中的算法和数据结构。DBDD-格兰德拉根和安文敦根。柏林:施普林格(1998;Zbl 0899.68040)
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 状态编码对有限状态机OBDD表示的影响。 (英语) Zbl 0951.68037号 Privara,L.(编辑)等人,1997年计算机科学的数学基础。1997年8月25日至29日,斯洛伐克布拉迪斯拉发,第22届国际研讨会,MFCS’97。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1295, 408-417 (1997).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald},莱克特。注释计算。科学。1295、408--417(1997年;Zbl 0951.68037)