马尼德拉·阿格拉瓦尔;阿克西,S。;布莱斯·基内斯特;蒂亚加拉扬,P.S。 马尔可夫链符号动力学的近似验证。 (英语) Zbl 1321.68367号 美国临床医学杂志 62,第1号,第2条,第34页(2015年).MSC公司:87年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Agrawal}等人,J.ACM 62,No.1,Article No.2,34 p.(2015;Zbl 1321.68367) 全文: 内政部 哈尔
斯特芬·Lösch;安德鲁·皮特斯(Andrew M.Pitts)。 具有标称Scott域的指称语义。 (英语) Zbl 1321.68202号 美国临床医学杂志 第61号第4条第27条第46页(2014年).MSC公司:68号30 68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Lösch}和\textit{A.M.Pitts},J.ACM 61,第4号,第27条,46页(2014;Zbl 1321.68202) 全文: 内政部 链接
克里希南德·查特吉;莫妮卡·亨津格 交替Büchi对策和最大终成分分解的高效动态算法。 (英语) Zbl 1295.91019号 美国临床医学杂志 第61号第3条第15条第40页(2014年).MSC公司:91A43型 05C85号 60年第68季度 87年第68季度 68兰特 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{M.Henzinger},J.ACM 61,第3号,第15条,第40页(2014;Zbl 1295.91019) 全文: 内政部