Bio-PEPA: A framework for the modelling and analysis of biological systems 论文

2009Theoretical Computer Science引用 343
Gene Regulatory Network AnalysisFormal Methods in VerificationPetri Nets in System Modeling