TY  - BOOK
AU  - Zara Hassan
TI  - Reasoning about requirements at run-time using AI planning techniques
U1  - MSIT-12 
PY  - 2014///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors:Dr. Nauman Ahmed Qureshi, Dr. Hamid Mukhtar, Dr. Kashif Sharif, Dr. Awais Shibli
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/10119
ER  -