Biological regulatory networks; Bisimulation; Minimization of models;
机译:使用互连的布尔网络进行吸引子计算:在大肠杆菌中测试增长率模型
机译:信号转导网络的异步布尔模型的吸引子分析。
机译:基于分布的概率布尔控制网络稳定状态反馈控制
机译:与布尔网络模型中的吸引子相关的Bisimulations
机译:T细胞祖细胞分化过程中发育基因网络的布尔模型
机译:通过迭代CTL模型检查逼近布尔网络的吸引子
机译:在布尔网络模型中将双仿真与吸引子联系起来