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

2008Lecture notes in computer science引用 336
Gene Regulatory Network AnalysisFormal Methods in VerificationMicrobial Metabolic Engineering and Bioproduction