×

找到2个文档(结果1-2)

上下文自动机的功能控制方法。 (英语。俄文原件) 兹伯利0875.68126

自动化。控制计算。科学。 25,第4期,40-46页(1991年); Avtom翻译。维奇尔。泰克。1991年,第4期,第42-48页(1991年)。
PDF格式BibTeX公司 XML格式引用

基于CCS的协议的正式描述和验证。 (英语。俄文原件) Zbl 0623.68025号

自动化。控制计算。科学。 20,第6号,16-25(1986); Avtom翻译。维奇尔。泰克。20,第6期,21-30(1986年)。
MSC公司:68N25号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段