@inproceedings{SPP19,
  author        = {C. Su and S. Paul and J. Pang},
  title         = {Controlling large {B}oolean networks with temporary and permanent perturbations},
  booktitle     = {Proc.\ 23rd International Symposium on Formal Methods (FM'19)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2019},
  volume        = {11800},
  pages         = {707-724}
}