拉尔斯·哈特曼;尼尔·D·琼斯。;雅各布·格鲁·西蒙森;瑟伦·比杰雷加德·弗里斯特 生物分子计算编程:程序、自我解释和可视化。 (英语) Zbl 1424.68076号 科学。Ann.计算。科学。 21,第1期,73-106(2011).MSC公司:2005年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Hartmann}等人,《科学》。Ann.计算。科学。21,第1号,73--106(2011;Zbl 1424.68076)
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 交互式系统的模块化验证与生物学应用。 (英语) Zbl 1424.68091号 科学。Ann.计算。科学。 21,第1期,39-72(2011).MSC公司:第68季度第60季度 65年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,科学。Ann.计算。科学。21,第1号,39--72(2011;Zbl 1424.68091)
哈什,比哈尔;Pieter Cuijpers先生 (部分)同步闭环系统的去同步性。 (英语) Zbl 1424.93133号 科学。Ann.计算。科学。 21,第1期,第5-38页(2011年).MSC公司:93C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Beohar}和\textit{P.Cuijpers},科学。Ann.计算。科学。21,第1号,第5--38号(2011;Zbl 1424.93133)
索尼娅·本·莫赫塔尔(编辑);西蒙·布利兹(编辑);罗伯托·布鲁尼(编辑);亚历山德拉·席尔瓦(编辑);安吉洛·特洛伊娜(编辑) 复杂系统中的并发和交互。 (英语) Zbl 1424.68001号 科学。Ann.计算。科学。 第1期第21页,第1-4页(2011年).MSC公司:68-06 93-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben Mokhtar}(编辑)等,科学。Ann.计算。科学。21,编号1,1--4(2011;Zbl 1424.68001)