新墨西哥州希洛夫。 在阿瑟·普赖尔(Arthur Prior)的家中为命题线性时序逻辑设计了类似于表格的公理化。 (英语) Zbl 1249.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 23, 113-136 (2005).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。23、113--136(2005年;Zbl 1249.68110)
E.A.波科齐。 参数时间Petri网的行为分析。 (英语) 兹比尔0952.68095 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 11, 59-75 (1999). 审核人:M.F.穆尔济纳(新西伯利亚) MSC公司:68问题85 03B44号 68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.波科齐},Jt。牛市。NCC IIS,序列号。计算。科学。11、59-75(1999年;Zbl 0952.68095)
Nepomnyashchij,V.A。;新墨西哥州希洛夫。;E.V.博丹。 由Basic-REAL规范提出的分布式系统的形式语义和验证。 (英语) Zbl 0947.68055号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 7,35-55(1997年). 审核人:F.A.Murzin(新西伯利亚) MSC公司:第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}等人,Jt。牛市。NCC IIS,序列号。计算。科学。7、35-55(1997年;Zbl 0947.68055)
Virbitskajte,I.B。;E.A.波科齐。 时间Petri网的模型检查。 (英语) Zbl 0937.68085号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 7, 85-93 (1997). 审核人:V.F.穆尔济纳(新西伯利亚) MSC公司:60年第68季度 2005年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskajte}和\textit{E.A.Pokozy},Jt。牛市。NCC IIS,序列号。计算。科学。7、85-93(1997年;Zbl 0937.68085)