Formal Modeling and Analysis of the MAL-Associated Biological Regulatory Network: Insight into Cerebral Malaria

• Jamil Ahmad ,

  * E-mail: dr.ahmad.jamil@gmail.com

  Affiliation Research Centre for Modeling and Simulation (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan

  ⨯
• Umar Niazi,

  Affiliation Research Centre for Modeling and Simulation (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan

  ⨯
• Sajid Mansoor,

  Affiliation NUST Centre for Virology and Immunology (NCVI), National University of Sciences and Technology (NUST), Islamabad, Pakistan

  ⨯
• Umair Siddique,

  Affiliation Research Centre for Modeling and Simulation (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan

  ⨯
• Jaclyn Bibby

  Affiliation Department of Structural and Chemical Biology, University of Liverpool, Liverpool, United Kingdom

  ⨯