@inproceedings{QYPM15,
  author        = {H. Qu and Q. Yuan and J. Pang and A. Mizera},
  title         = {Improving BDD-based attractor detection for synchronous {B}oolean networks},
  booktitle     = {Proc.\ 7th Asia-Pacific Symposium on Internetware (Internetware'15)},
  publisher     = {ACM Press},
  year          = {2015},
  pages         = {xx-xx (to appear)}
}