Zahid Addul <br/><br/>
MS Thesis :Reachability Analysis Based Verification Strategy For Model Reduction 
Abdul Zahid 
 - Islamabad  RCMS NUST  c,2014 
 - ix,65,p:  HB  25,cm, 
 - MS Thesis Computational Science  and Engineering .
<br/><br/> MS Thesis  
<br/><br/><label>Dewey Class. No.: </label>004.12 ZAH