The Continuous π-Calculus: A Process Algebra for Biochemical Modelling 论文

2008Lecture notes in computer science引用 336
DOI
Gene Regulatory Network AnalysisFormal Methods in VerificationMicrobial Metabolic Engineering and Bioproduction
Formal Methods in VerificationGene Regulatory Network AnalysisMicrobial Metabolic Engineering and Bioproduction
相关技术:Formal Methods in VerificationGene Regulatory Network Analysis
关系图谱

The Continuous π-Calculus: A Process Algebra for Biochemical Modelling · 相关文章

暂无数据