@article{tamingasynchronyforattractordetectionin,
  title = {Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report)},
  year = {2017},
  eprint = {1704.06530},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1704.06530v3},
}