克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 用于优化有限状态机的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
克里斯托夫·梅内尔;托尔斯滕·西奥博尔德 超大规模集成电路设计中的算法和数据结构。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中的算法和日期说明。) (德语) Zbl 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)