科什卡,米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 (英语) Zbl 1519.68055号 正式Asp。计算。 33,编号4-5,637-667(2021).MSC公司:68号30 60J20型 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人,《正式Asp》。计算。33,编号4--5,637--667(2021;Zbl 1519.68055) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) 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) 全文: 内政部
王淑玲;詹乃军;张丽君 随机混合系统的组合建模和验证框架。 (英语) Zbl 1370.68220号 正式Asp。计算。 29,第4期,751-775(2017).MSC公司:第68季度85 60年第68季度 87年第68季度 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,正式Asp。计算。29,第4号,751--775(2017;Zbl 1370.68220) 全文: 内政部
罗兰·梅耶;约翰·费伯;Jochen Hoenicke公司;安德烈·里巴尔琴科 模型检查持续时间演算:一种实用方法。 (英语) Zbl 1151.68487号 正式Asp。计算。 20,编号4-5,481-505(2008).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人,《正式Asp》。计算。20,编号4--5,481--505(2008;Zbl 1151.68487) 全文: 内政部