| Improving BDD-based attractor detection for synchronous Boolean networks |
| Qixia YUAN;Hongyang QU;Jun PANG;Andrzej MIZERA; Science China(Information Sciences) 2016(8).42938 |
| 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 |
微信公众号