Zara Hassan <br/><br/>
Reasoning about requirements at run-time using AI planning techniques 

 - Islamabad  NUST-SEECS  2014 
 - 45  30cm 
<br/><br/> Supervisors:Dr. Nauman Ahmed Qureshi, Dr. Hamid Mukhtar, Dr. Kashif Sharif, Dr. Awais Shibli 
<br/><br/><label>Dewey Class. No.: </label>MSIT-12