安娜·菲利普;毛里西奥·托罗;玛格丽塔·安东尼奥基 空间显式生态模型过程演算中的模拟和验证。 (英语) Zbl 1424.92059号 科学。Ann.计算。科学。 23,第1期,119-167(2013)。MSC公司:92天40分 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Philippou}等人,科学。Ann.计算。科学。23,第1号,119--167(2013;Zbl 1424.92059) 全文: 内政部
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 公平性定性路径模型的模块化验证。 (英语) Zbl 1424.92015年 科学。Ann.计算。科学。 23,第1期,75-117(2013)。MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,科学。Ann.计算。科学。23,第1号,75--117(2013;Zbl 1424.92015) 全文: 内政部
埃里克·P·德文克。;汉斯·赞特马;博什纳奇·德拉甘 结合插入和删除的RNA编辑保持了规则性。 (英语) Zbl 1424.68080号 科学。Ann.计算。科学。 23,第1号,39-73(2013)。MSC公司:2012年第68季度 65年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{E.P.de Vink}等人,科学。Ann.计算。科学。23、第1号、第39--73号(2013;Zbl 1424.68080) 全文: 内政部
阿德里安·巴索·布兰丁;Frank Delaplace公司 GUBS是合成生物学中基于行为的设计语言。 (英语) Zbl 1424.68090号 科学。Ann.计算。科学。 23,第1期,第1-38页(2013年)。MSC公司:60年第68季度 68甲15 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Basso-Blandin}和\textit{F.Delaplace},科学。Ann.计算。科学。23,第1号,1-38(2013;Zbl 1424.68090) 全文: 内政部 arXiv公司