波胡斯拉夫·科埃纳;汤姆·沃纳 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 42,第4期,335-365(2013).MSC公司:60年第68季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},《国际遗传学》。42,第4号,335--365(2013;Zbl 1286.68318) 全文: 内政部
阿卜杜勒·阿齐兹·阿尔卡利德;阿明,塔哈;伊戈尔·奇卡洛夫;沙希德·侯赛因;米哈伊尔·莫什科夫;贝塔·齐洛斯科 决策树和规则的优化和分析:动态规划方法。 (英语) Zbl 1272.90108号 国际通用系统杂志。 42,第6期,614-634(2013).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Alkhalid}等人,《国际期刊》,Gen.Syst。42,第6号,614--634(2013;Zbl 1272.90108) 全文: 内政部
马丁·库特里布 非确定性细胞自动机和语言。 (英语) 兹比尔1277.68153 国际通用系统杂志。 41,第6期,555-568(2012).MSC公司:68问题80 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib},《国际遗传学》。41,编号6,555-568(2012年;兹bl 1277.68153) 全文: 内政部
巴韦尔·西瓦克 Filtrons及其相关的环计算。 (英语) Zbl 0958.68512号 国际通用系统杂志。 27,编号1-3,181-229(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Siwak},国际通用系统。27,编号1--3,181-229(1998;Zbl 0958.68512) 全文: 内政部
阿里斯蒂德·林登迈耶;卡雷尔·库利克二世 成长中的细胞系统:通过并行重写生成图形。 (英语) Zbl 0392.92007号 国际通用系统杂志。 5, 45-55 (1979).MSC公司:92B05型 92D10型 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{A.Lindenmayer}和\textit{K.Culik II},《国际遗传学》。5、45-55(1979年;Zbl 0392.92007) 全文: 内政部
卡雷尔·库利克二世;阿里斯蒂德·林登迈耶 用于多细胞开发的并行图形生成和图形递归系统。 (英语) Zbl 0332.68054号 国际通用系统。 3, 53-66 (1976).MSC公司:65年第68季度 68瓦99 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{A.Lindenmayer},国际通用系统。3、53-66(1976年;Zbl 0332.68054) 全文: 内政部