@misc{indiciae7e85904a82e7,
  title = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation},
  author = {Lubos Brim and Jana Fabrikova and Sven Drazan and David Safranek},
  year = {2011},
  url = {https://arxiv.org/abs/1107.5924},
  note = {Source identifier: 1107.5924}
}