@misc{indiciaecd83455aa9f1,
  title = {Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis},
  author = {Bing Liu and Soonho Kong and Sicun Gao and Paolo Zuliani and Edmund M. Clarke},
  year = {2015},
  doi = {10.1145/2728606.2728634},
  url = {https://arxiv.org/abs/1410.7346},
  note = {Source identifier: 1410.7346}
}