...
机译:利用膜计算对多室生物系统建模
School of Computer Science, Faculty of Information Science and Technology, University Kebangsaan Malaysia, 43600 Bangi, Selangor, Malaysia;
School of Information Technology, Faculty of Information Science and Technology, University Kebangsaan Malaysia, 43600 Bangi, Selangor, Malaysia;
membrane computing; biological system; gillespie algorithm; model checking;
机译:膜计算对多室生物系统建模科学出版物
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:使用膜计算建模和验证生物系统的框架
机译:大鼠味觉系统的多室建模。
机译:可调谐的分辨率作为多尺度多隔间计算模型的系统生物学方法
机译:利用膜计算对多室生物系统建模
机译:计算科学:具有动态结构的膜系统的petri网模型