| Improving BDD-based attractor detection for synchronous Boolean networks |
| Qixia YUAN;Hongyang QU;Jun PANG;Andrzej MIZERA; |
| 关键词：Boolean networks;systems biology;binary decision diagram;attractor;verification algorithms |
| 主要内容：Boolean networks are an important formalism for modelling biological systems and have attracted much attention in recent |
| 《Science China(Information Sciences)》 2016(8).42938 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号