A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks

Andrzej Mizera, Jun Pang, Hongyang Qu 0001, Qixia Yuan. A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 232-249, Springer, 2017. [doi]

Authors

Andrzej Mizera

This author has not been identified. Look up 'Andrzej Mizera' in Google

Jun Pang

This author has not been identified. Look up 'Jun Pang' in Google

Hongyang Qu 0001

This author has not been identified. Look up 'Hongyang Qu 0001' in Google

Qixia Yuan

This author has not been identified. Look up 'Qixia Yuan' in Google