Supplementary Materials:

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, and Edmund M. Clarke

Appendix: [pdf]

dReach tool: [website] [github]

dReach model files: all-in-one [download]

Run 1: [download]
Run 2: [download]
Run 3: [download]
Run 4: [download]
Run 5: [download]
Run 6: [download]
Run 7: [download]
Run 8: [download]
Run 9: [download]

Last updated on 23 Oct 2014