安德烈亚·图里尼;霍尔格·赫尔曼斯 概率自动机的保成本互模拟。 (英语) Zbl 1448.68353号 日志。方法计算。科学。 10,第4号,第11号论文,58页(2014).MSC公司:68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Turrini}和\textit{H.Hermanns},日志。方法计算。科学。10,第4号,第11号论文,58页(2014;Zbl 1448.68353) 全文: 内政部
古克,丹尼斯;哈提菲,哈桑;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;马克·蒂默 马尔可夫自动机的时间和长期目标分析。 (英语) Zbl 1342.68135号 日志。方法计算。科学。 10,第3号,第17号论文,29页(2014).MSC公司:2010年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guck}等人,Log。方法计算。科学。10,第3号,第17号论文,29页(2014;Zbl 1342.68135) 全文: 内政部 arXiv公司
迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 安全协议的动态标签。 (英语) Zbl 1315.94050号 日志。方法计算。科学。 10,第2号,第11号论文,50页(2014年).MSC公司:94A60型 68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}等人,日志。方法计算。科学。10,第2号,第11号论文,50页(2014;Zbl 1315.94050) 全文: 内政部 arXiv公司