马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 31,第1号,59-94(2019).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) Zbl 1382.68142号 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: 内政部
费雷尔·菲奥里蒂,路易斯·玛丽亚;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 判定概率自动机弱互模拟:理论与实践。 (英语) 兹比尔1335.68117 正式Asp。计算。 28,第1号,109-143(2016).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人,《正式评论》。计算。28,第1号,109--143(2016;Zbl 1335.68117) 全文: 内政部
杰弗里·布朗(Geoffrey M.Brown)。;派克,李 物理层协议的自动验证和优化。 (英语) Zbl 1213.68117号 正式Asp。计算。 23,第3期,243-266(2011).MSC公司:68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Brown}和\textit{L.Pike},正式Asp。计算。23,第3号,243--266(2011;Zbl 1213.68117) 全文: 内政部