Probabilistic model checking of complex biological pathways 论文

2007Theoretical Computer Science引用 241
DOI
Gene Regulatory Network AnalysisFormal Methods in VerificationCancer-related gene regulation
Formal Methods in VerificationGene Regulatory Network AnalysisCancer-related gene regulation
相关技术:Formal Methods in VerificationGene Regulatory Network Analysis
关系图谱

Probabilistic model checking of complex biological pathways · 相关文章

暂无数据