TY  - BOOK
AU  - Zahid Addul
AU  - 
TI  - MS Thesis :Reachability Analysis Based Verification Strategy For Model Reduction
U1  - 004.12 ZAH 
PY  - 2014///
CY  - Islamabad
PB  - RCMS NUST
N1  - MS Thesis
ER  -