Bozhenkova,E.N。;Virbitskaite,I.B.公司。 测试时间Petri网的等价性。 (英语。俄文原件) Zbl 1455.68118号 程序。计算。柔和。 46,第4期,251-260(2020年); 译自Programmirovanie 46,No.4,3-13(2020)。MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Bozhenkova}和\textit{I.B.Virbitskaite},程序。计算。柔和。46,第4号,251--260(2020;Zbl 1455.68118);翻译自Programmirovanie 46,编号4,3-13(2020) 全文: 内政部
新墨西哥州希洛夫。;希洛娃,S.O。;A.Yu Bernshtein。 命题程序逻辑的程序图式技术:30年的历史。 (英语。俄文原件) Zbl 1452.68004号 程序。计算。柔和。 42,第4期,239-256(2016); 译自Programmirovanie 42,No.4,69-92(2016)。MSC公司:68-03 03年2月25日 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人,《程序》。计算。柔和。42,第4号,239--256(2016;Zbl 1452.68004);译自Programmirovanie 42,No.4,69-92(2016) 全文: 内政部
Virbitskaite,I.B.公司。;博罗夫列夫,V.A。;波波娃·泽格曼。 离散时间Petri网的“真正并发”和非确定性语义。 (英语。俄文原件) Zbl 1451.68194号 程序。计算。柔和。 42,第4期,187-197(2016); 译自Programmirovanie 42,No.4,4-16(2016)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人,程序。计算。柔和。42,No.4,187--197(2016;Zbl 1451.68194);译自Programmirovanie 42,No.4,4--16(2016) 全文: 内政部
D.I.布欣。;Virbitskaite,I.B.公司。 时间Petri网的比较跟踪语义。 (英语。俄文原件) Zbl 1339.68183号 程序。计算。柔和。 41,第3期,131-139(2015); 翻译自Programmirovanie 41,第3期(2015年)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.I.Bushin}和\textit{I.B.Virbitskaite},程序。计算。柔和。41,第3号,131--139(2015;Zbl 1339.68183);译自Programmirovanie 41,No.3(2015) 全文: 内政部
Bozhenkova,E.N。 构造稠密时间模型特征公式的合成方法。 (英语。俄文原件) Zbl 1448.68288号 程序。计算。柔和。 38,第6号,304-314(2012); 译自Programmirovanie 38,No.6(2012)。MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Bozhenkova},程序。计算。柔和。38、第6号、304--314(2012;Zbl 1448.68288);译自Programmirovanie 38,No.6(2012) 全文: 内政部
Virbitskaite,I.B.公司。;格里博夫斯卡娅,N.S。 统一定时转换系统的行为等效性。 (英语。俄文原件) Zbl 1251.68163号 程序。计算。柔和。 36,第3期,138-148(2010); 译自Programmirovanie 36,No.3(2010)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}和\textit{N.S.Gribovskaya},程序。计算。柔和。36,第3号,138--148(2010;Zbl 1251.68163);译自Programmirovanie 36,No.3(2010) 全文: 内政部
新墨西哥州希洛夫。;安努列夫,I.S。;E.V.博丹。 为命令式程序生成正确性条件。 (英语。俄文原件) Zbl 1185.68424号 程序。计算。柔和。 34,第6号,307-321(2008); 译自Programmirovanie 34,No.6(2008)。MSC公司:第68季度第60季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人,《程序》。计算。柔和。34,第6号,307--321(2008;Zbl 1185.68424);译自Programmirovanie 34,No.6(2008) 全文: 内政部
Virbitskaite,I.B.公司。;杜伯索夫,R.S。 时间事件结构的语义域。 (英语。俄文原件) Zbl 1188.68180号 程序。计算。柔和。 34,第3期,125-137(2008); 译自Programmirovanie 34,No.3,3-20(2008)。MSC公司:68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}和\textit{R.S.Dubtsov},程序。计算。柔和。34,编号3,125-137(2008;Zbl 1188.68180);译自Programmirovanie 34,No.3,3--20(2008) 全文: 内政部