阿诺·阿夫隆;沙哈尔·列夫;日产李维斯 安全性、绝对性和可计算性。 (英语) Zbl 1528.03183号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第8条,第17页(2018年)。MSC公司:03D45号 03B25号 03E30年 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}等人,LIPIcs——莱布尼茨国际程序。通知。119,第8条,第17页(2018;Zbl 1528.03183) 全文: 内政部
R.S.麦克劳德。;J.G.斯蒂斯特拉。;卢,S。;R.T.惠特克。;斯文森,D.J。;M.J.科尔。;Krüger,J。;D.H.布鲁克斯。;约翰逊,C.R。 特定主题的多尺度电生理模拟:基于图像的模型和应用示例的软件管道。 (英语) Zbl 1185.68809号 菲洛斯。事务处理。英国皇家学会。,序列号。A、 数学。物理学。工程科学。 367,编号18962293-2310(2009).MSC公司:68单位10 92B05型 92-04 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.S.麦克劳德}等人,菲洛斯。事务处理。英国皇家学会。,序列号。A、 数学。物理学。工程科学。367,编号1896,2293-2310(2009年;兹bl 1185.68809) 全文: 内政部 链接