×

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

测试时间Petri网的等价性。 (英语。俄文原件) Zbl 1455.68118号

程序。计算。柔和。 46,第4期,251-260(2020年); 译自Programmirovanie 46,No.4,3-13(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

命题程序逻辑的程序图式技术:30年的历史。 (英语。俄文原件) Zbl 1452.68004号

程序。计算。柔和。 42,第4期,239-256(2016); 译自Programmirovanie 42,No.4,69-92(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间Petri网的“真正并发”和非确定性语义。 (英语。俄文原件) Zbl 1451.68194号

程序。计算。柔和。 42,第4期,187-197(2016); 译自Programmirovanie 42,No.4,4-16(2016)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间Petri网的比较跟踪语义。 (英语。俄文原件) Zbl 1339.68183号

程序。计算。柔和。 41,第3期,131-139(2015); 翻译自Programmirovanie 41,第3期(2015年)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一定时转换系统的行为等效性。 (英语。俄文原件) Zbl 1251.68163号

程序。计算。柔和。 36,第3期,138-148(2010); 译自Programmirovanie 36,No.3(2010)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为命令式程序生成正确性条件。 (英语。俄文原件) Zbl 1185.68424号

程序。计算。柔和。 34,第6号,307-321(2008); 译自Programmirovanie 34,No.6(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间事件结构的语义域。 (英语。俄文原件) Zbl 1188.68180号

程序。计算。柔和。 34,第3期,125-137(2008); 译自Programmirovanie 34,No.3,3-20(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

出版年份

主字段

软件