Esmaeil Zadeh Soudjani,萨代格;亚历山德罗·阿巴特;鲁帕克·马朱姆达尔 用于结构化随机过程形式化验证的动态贝叶斯网络。 (英语) Zbl 1364.68262号 学报信息。 54,第2期,217-242(2017)。MSC公司:第68季度第60季度 60J05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Esmaeil Zadeh Soudjani}等人,《信息学报》54,第2期,217--242(2017;Zbl 1364.68262) 全文: 内政部 arXiv公司 链接
哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 人口协议的验证。 (英语) Zbl 1364.68081号 学报信息。 54,第2期,191-215(2017)。MSC公司:68个M12 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,Acta Inf.54,No.2191-215(2017;兹bl 1364.68081) 全文: 内政部
菲利波·邦奇;佩特里西安,丹妮拉;Damien Pous;朱里安·罗特 关于造币的概述。 (英语) Zbl 1371.68186号 学报信息。 54,第2期,127-190(2017)。 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息学报》54,第2期,127--190(2017年;Zbl 1371.68186) 全文: 内政部