MS Thesis :Reachability Analysis Based Verification Strategy For Model Reduction - Zahid Addul (Islamabad RCMS NUST, 2014)
MS Thesis