托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。 口吃保护性偏序减少的标签不一致问题的详细说明。 (英语) Zbl 07407780号 日志。方法计算。科学。 17,第3号,第8号论文,27页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Neele}等人,《日志》。方法计算。科学。17,第3号,第8号论文,27页(2021;Zbl 07407780) 全文: arXiv公司 链接
艾维洛·多布里科夫;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) 全文: 内政部