×

找到2个文档(结果1-2)

改进生物路径动力学的时间自动机方法。 (英语) Zbl 1431.68059号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。10460,96-111(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用ANIMO设置生物模型的参数。 (英语) Zbl 1464.92008年

André,ed tienne(编辑)等人,《第一届连续参数合成国际研讨会论文集》,SynCoP’14,法国格勒诺布尔,2014年4月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)145,35-47(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

出版年份

主字段

软件