| Title: | 
						Towards personalized prostate cancer therapy using delta-reachability analysis | 
					
					
						| Article URLs: | 
						
							
						 | 
					
					
						| Alternative Article URLs: | 
						 | 
					
					
						| Authors: | 
						Bing Liu | 
						
							
								- 
									University of Pittsburgh, School of Medicine
								
 
							 
						 | 
					
					
						| Soonho Kong | 
						
							
								- 
									Carnegie Mellon University, Computer Science Dept.
								
 
							 
						 | 
					
					
						| Sicun Gao | 
						
							
						 | 
					
					
						| Paolo Zuliani | 
						
							
								- 
									Newcastle University, School of Computer Science
								
 
							 
						 | 
					
					
						| Edmund M. Clarke | 
						
							
								- 
									Carnegie Mellon University, Computer Science Dept.
								
 
							 
						 | 
					
					
						| Sharing: | 
						
							Unknown
						 | 
					
					
						| Verification: | 
						
							Authors have
							not verified
							information
						 | 
					
					
						| Artifact Evaluation Badge: | 
						
							none
						 | 
					
					
						| Artifact URLs: | 
						
							
						 | 
					
					
						| Artifact Correspondence Email Addresses: | 
						
							
						 | 
					
					
						| NSF Award Numbers: | 
						
						0926181
						 | 
					
					
						| DBLP Key: | 
						
							conf/hybrid/LiuKGZC15
						 | 
					
					
						| Author Comments: |  
						 |