马尼德拉·阿格拉瓦尔;阿克西,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) 全文: 内政部 哈尔
保罗·巴尔丹;西尔维娅·克拉法 真正并发的逻辑。 (英语) Zbl 1321.68355号 美国临床医学杂志 61,第4号,第24条,第36页(2014年).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{S.Crafa},J.ACM 61,第4号,第24条,第36页(2014;Zbl 1321.68355) 全文: 内政部 arXiv公司