T.V.潘琴科。;叶维·伊万诺夫。;Sunmake Fabunmi公司;Skidonenko,A.V.公司。;叶·奥·特罗夫曼科。 IPCL中扩展的动态状态和实例生成模型。 (乌克兰语。英文摘要) Zbl 1413.68017号 视力。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍甫琴卡 2017年第4期,127-130(2017).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}等人,Visn。,序列号。菲兹-马特·诺基,基辅。进出口大学。Tarasa Shevchenka 2017,第4期,127--130(2017;Zbl 1413.68017)
T.V.潘琴科。 使用简化状态的并行程序正确性证明方法及其应用。 (英语) Zbl 1340.68017号 可见。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍甫琴卡 2015年第2期,174-177(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko},维森。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍夫琴卡,2015年,第2174-177号(2015年;兹bl 1340.68017)