Chebotarev,A.N。 一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成问题。 (英语。俄文原件) Zbl 1380.68271号 赛博。系统。分析。 53,第5号,675-683(2017); 翻译自Kibern。修女。分析。2017年,第5期,22-33(2017)。MSC公司:60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。53,第5号,675--683(2017;Zbl 1380.68271);翻译自Kibern。修女。分析。2017年第5号、第22-33号(2017) 全文: 内政部
Chebotarev,A.N。 交互自动机的协调。 (英语。俄文原件) Zbl 1328.68110号 赛博。系统。分析。 51,第5号,676-686(2015); 翻译自Kibern。修女。分析。2015年第2期,13-25(2015)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。51,No.5,676--686(2015;Zbl 1328.68110);翻译自Kibern。修女。分析。2015年第2期、第13-25期(2015年) 全文: 内政部
Chebotarev,A.N。 通过求解自动机上的方程设计反应式算法。 (英语。俄文原件) Zbl 1307.68046号 赛博。系统。分析。 第4期第48页,第479-488页(2012年); 翻译自Kibern。修女。分析。第4期,第3-13页(2012年)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。48,第4号,479--488(2012;Zbl 1307.68046);翻译自Kibern。修女。分析。2012年第4号、第3--13号 全文: 内政部
Chebotaröv,A.N。 求解反应系统设计中有限状态机上的不等式。 (俄语。英文摘要) Zbl 1472.68078号 普里克尔。Diskretn公司。材料。 2010年,第3(9)、100-110(2010)号.MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotaröv},普里克尔。Diskretn公司。材料2010,编号3(9),100-110(2010;Zbl 1472.68078) 全文: MNR公司
Chebotarev,A.N。 根据语言中不可表达的时间属性验证语言L中的规范。 (英语。俄文原件) Zbl 1185.68410号 赛博。系统。分析。 45,第5671-679号(2009年); 翻译自Kibern。修女。分析。2009年,第5期,第3-12页(2009年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。45,第5号,671--679(2009;Zbl 1185.68410);翻译自Kibern。修女。分析。2009年第5期、第3--12期(2009年) 全文: 内政部
Kryvyj,S.L。;Chebotarev,A.N。 检查语言\(L\)中用析取范式表示的公式的可满足性。一、。 (英语。俄文原件) Zbl 1102.68646号 赛博。系统。分析。 41,第4期,494-499(2005); 翻译自Kibern。修女。分析。2005年,第4期,22-28(2005)。MSC公司:第68页第15页 68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyj}和\textit{A.N.Chebotarev},Cybern。系统。分析。41,No.4,494--499(2005;Zbl 1102.68646);翻译自Kibern。修女。分析。2005年,第4期,22--28(2005) 全文: 内政部
Chebotarev,Anatoli N。;莫罗霍夫茨,玛丽娜·K·。 基于分辨率的交互自动机兼容性分析方法。 (英语) Zbl 0902.68124号 西奥。计算。科学。 194,第1-2期,183-205(1998).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}和\textit{M.K.Morokhovets},Theor。计算。科学。194,编号1--2,183-205(1998;Zbl 0902.68124) 全文: 内政部