Improving BDD-based attractor detection for synchronous Boolean networks.

Qixia YuanHongyang QuJun PangAndrzej Mizera
Published in: Sci. China Inf. Sci. (2016)