Sohaiba Iqbal <br/><br/>
Statistical model checking of relief supply location and distribution in natural disaster management 

 - (Islamabad)   NUST-SEECS 
 - 44p. 
<br/><br/><label>Dewey Class. No.: </label>MSCS-3 SOH