TY  - BOOK
AU  - Sohaib Ahmad
TI  - Formal reasoning about molecular pathways in higher order logic
U1  - MSEE-3 
PY  - 2014///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors: Dr. Osman Hasan Dr. Awais Kamboh Dr. Rehan Hafiz Dr. Murtaza Khan
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/8775
ER  -