@misc{indiciae2e99ec9d1174,
  title = {Efficient parameter search for qualitative models of regulatory networks using symbolic model checking},
  author = {Grégory Batt and Michel Page and Irene Cantone and Gregor Goessler and Pedro T. Monteiro and Hidde De Jong},
  year = {2010},
  url = {https://arxiv.org/abs/1005.2107},
  note = {Source identifier: 1005.2107}
}