00436nam a22001337a 4500020001600000082000800016100001700024245009000041260003700131300003200168650001500200700003000215856005700245  qHard Cover.  a005  aHassan, Zara  aReasoning about Requirements at Run-time Using AI Planning Techniques /cZara Hassan.  aIslamabad:bSEECS - NUST.c2014.  aviii, 45 p. : ill. ;c30cm.  aMs Thesis.  aDr. Nauman Ahmed Qureshi.  uhttp://10.250.8.41:8080/xmlui/handle/123456789/10119