帕罗什·阿齐兹·阿卜杜拉;斯塔夫罗斯阿罗尼斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;Leonardsson,卡尔;康斯坦蒂诺斯·萨戈纳斯 TSO和PSO的无状态模型检查。 (英语) Zbl 1380.68265号 学报信息。 54,第8号,789-818(2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.54,No.8,789--818(2017;Zbl 1380.68265) 全文: 内政部
米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 检查基因调控网络进化的模型。 (英语) Zbl 1380.68273号 学报信息。 54,第8期,765-787(2017).MSC公司:60年第68季度 92立方厘米 92D10型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Giacobbe}等人,《学报》第54期,第8期,第765--787页(2017年;Zbl 1380.68273) 全文: 内政部 arXiv公司
德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 SMT中的近似计数和概率程序的值估计。 (英语) Zbl 1380.68117号 学报信息。 54,第8期,729-764(2017).MSC公司:68号30 68T20型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,《信息学报》54,第8期,第729--764页(2017年;Zbl 1380.68117) 全文: 内政部 arXiv公司 链接
克里斯特尔·拜尔(编辑);塞萨尔·蒂内利(编辑) 第21届系统构建和分析工具和算法国际会议特刊(TACAS 2015)。 (英语) Zbl 1376.00016号 学报信息。 54,第8期,727-728(2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{C.Tinelli}(主编),《学报》第54期,第8期,第727--728页(2017年;Zbl 1376.00016) 全文: 内政部