希洛夫,N.V。 关于指定和验证标准功能的需要。 (英语) Zbl 1374.68117号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 38, 105-119 (2015)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。38、105-119(2015;Zbl 1374.68117) 全文: 链接
奇克利亚耶夫,D.A。;内波尼亚希奇,V.A。 [德米特里·奇克利亚耶夫] 抽象寄存器机器任意大小数组中搜索程序的演绎形式验证。 (英语) Zbl 1374.68276号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 37,71-91(2014)。MSC公司:第68季度第60季度 2005年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev}和\textit{V.A.Neponiashchi,Jt。牛市。NCC IIS,序列号。计算。科学。37、71——91(2014年;Zbl 1374.68276) 全文: 链接
奇克利亚耶夫,D.A。;内波尼亚希奇,V.A。 [德米特里·奇克利亚耶夫] 抽象寄存器机程序的形式验证。 (英语) Zbl 1374.68275号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 35, 39-56 (2013)。MSC公司:第68季度第60季度 2005年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev}和\textit{V.A.Neponiashchi,Jt。牛市。NCC IIS,序列号。计算。科学。35、39-56(2013年;Zbl 1374.68275) 全文: 链接
奇克利亚耶夫,D.A。;内波米纳希。 经典滑动窗口协议的规范和验证。 (英语) Zbl 1374.68048号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 32, 37-56 (2011)。MSC公司:68个M12 68M10个 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev}和\textit{V.A.Nepominaschy},Jt。牛市。NCC IIS,序列号。计算。科学。32、37-56(2011年;Zbl 1374.68048) 全文: 链接
希洛夫,N.V。 在阿瑟·普赖尔(Arthur Prior)的家中为命题线性时序逻辑设计了类似于表格的公理化。 (英语) Zbl 1249.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 23, 113-136 (2005)。MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。23、113--136(2005年;Zbl 1249.68110)
安努列夫,I.S。 统一语义语言:句法、语义和语用。 (英语) Zbl 1082.68018号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 2004年1月20日至30日。MSC公司:68号30 68甲15 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。20、1--30(2004;Zbl 1082.68018)