哈桑·哈特菲;拉尔夫·威默;布雷丁,贝蒂娜;费雷尔·菲奥里蒂,路易斯·玛丽亚;贝恩德·贝克尔;霍尔格赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 (英语) Zbl 1370.68173号 正式Asp。计算。 29,第4号,629-649(2017).MSC公司:65年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人,《形式Asp》。计算。29,第4号,629--649(2017;Zbl 1370.68173) 全文: 内政部
李永坚;庞、军 在Isabelle/HOL中规范可证明的匿名性。 (英语) 兹比尔1331.68202 正式Asp。计算。 27,第2期,255-282(2015).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Pang},正式Asp。计算。27,第2号,255--282(2015;Zbl 1331.68202) 全文: 内政部 链接
马尼省斯瓦米纳坦;Joost-Pieter卡托恩;奥尔德罗格(Ernst-Rüdiger Olderog) 随机分布式算法的分层推理。 (英语) Zbl 1259.68114号 正式Asp。计算。 24,第4-6号,477-496(2012).MSC公司:65年第68季度 68瓦20 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Swaminathan}等人,正式Asp。计算。24、编号4--6、477--496(2012;Zbl 1259.68114) 全文: 内政部