@article{MPQY19, author = {A. Mizera and J. Pang and H. Qu and Q. Yuan}, title = {Taming asynchrony for attractor detection in large {B}oolean networks}, journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics}, year = {2019}, volume = {16}, number = {1}, pages = {31-42} }