@misc{indiciaedaa856136ad5,
  title = {Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report)},
  author = {Andrzej Mizera and Jun Pang and Hongyang Qu and Qixia Yuan},
  year = {2017},
  url = {https://arxiv.org/abs/1704.06530},
  note = {Source identifier: 1704.06530}
}