@inproceedings{MPQY17,
  author        = {A. Mizera and J. Pang and H. Qu and Q. Yuan},
  title         = {A decomposition method for attractor detection in large synchronous {B}oolean networks},
  booktitle     = {Proc.\ 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'17)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2017},
  volume        = {10606},
  pages         = {232-249}
}