@misc{indiciaedfff5b9b5365,
  title = {Abstract Interpretation for Probabilistic Termination of Biological Systems},
  author = {Roberta Gori and Francesca Levi},
  year = {2009},
  doi = {10.4204/eptcs.11.9},
  url = {https://arxiv.org/abs/0911.4988},
  note = {Source identifier: 0911.4988}
}