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
关系图谱

5

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (5)

O

Oksana Tymchyshyn

D

David Parker

G

Gethin Norman

M

Marta Kwiatkowska

相关技术查看全部 (2)

Formal Methods in VerificationGene Regulatory Network Analysis

相关事件

暂无数据

相关文章

暂无数据