@misc{indiciaede98b9ca1a87,
  title = {Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions},
  author = {Grégory Batt and Delphine Ropers and Hidde De Jong and Michel Page and Johannes Geiselmann},
  year = {2007},
  url = {https://arxiv.org/abs/q-bio/0702058},
  note = {Source identifier: q-bio/0702058}
}