发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Qualitative analysis of gene regulatory networks by temporal logic

Ito, Sohei; Ichinose, Takuma; Shimakawa, Masaya; Izumi, Naoko; Hagihara, Shigeki; Yonezaki, Naoki

期刊名称Theoretical Computer Science
作者Ito, Sohei; Ichinose, Takuma; Shimakawa, Masaya; Izumi, Naoko; Hagihara, Shigeki; Yonezaki, Naoki
卷第594卷
印刷ISSN0304-3975
文件大小1087.07KB
发表时间2015-08
DOI10.1016/j.tcs.2015.06.017
页码151-179