Fazeel Ahtisham MS/Thesis:Deciphering the Role of Gamma-amino butyric Acid in Epilepsy; A Multiscale Approach Using Formal Modeling and Verification Ahtisham Fazeel - Islamabad RCMS NUST 2019 Dewey Class. No.: 004 AHT