Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera. Improving BDD-based Attractor Detection for Synchronous Boolean Networks. In Hong Mei, Jian Lü, Xiaoxing Ma, Qianxiang Wang, Gang Yin, Xiaofei Liao, editors, Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015. pages 212-220, ACM, 2015. [doi]
Abstract is missing.