伊瓦伊洛·多布里科夫;Michael Leuschel先生 使用部分降阶优化B的ProB模型检查器。 (英语) Zbl 1342.68208号 正式Asp。计算。 28,第2期,295-323(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Dobrikov}和\textit{M.Leuschel},正式Asp。计算。28,第2号,295--323(2016;Zbl 1342.68208) 全文: 内政部
博斯特罗姆,蓬图斯;弗雷德里克·德格伦德;塞雷,凯萨;瓦尔登,玛丽娜 通过Event-B模型的逐步调度导出并发程序。 (英语) Zbl 1342.68056号 正式Asp。计算。 26,第2期,281-303(2014).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Boström}等人,正式Asp。计算。26,第2281-303号(2014年;兹bl 1342.68056) 全文: 内政部
路易吉亚·皮特;埃琳娜·特鲁比西纳;瓦尔登,玛丽娜 凯萨·塞雷:纪念。 (英语) Zbl 1342.01036号 正式Asp。计算。 26,第2期,197-201(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.Petre}等人,正式Asp。计算。26,第2号,197--201(2014;Zbl 1342.01036) 全文: 内政部