• λ噬菌体生活周期的形式化建模与分析

    λ噬菌体生活周期的形式化建模与分析

    论文摘要随着计算机科学的发展,它与其他学科交叉产生很多了新的研究领域,其中与系统生物学的结合就是一个重要的研究方向。这主要包括两方面的内容:其一是计算机基础科学,例如进程代数的...