Discovering vesicle traffic network constraints by model checking

• Ankit Shukla,

  Affiliation School of Computer Science and Engineering, Vellore Institute of Technology, Vellore, India

  http://orcid.org/0000-0002-1038-3602

  ⨯
• Arnab Bhattacharyya,

  Affiliation Department of Computer Science and Automation, Indian Institute of Science, Bengaluru, India

  ⨯
• Lakshmanan Kuppusamy,

  Affiliation School of Computer Science and Engineering, Vellore Institute of Technology, Vellore, India

  ⨯
• Mandayam Srivas,

  Affiliation Chennai Mathematical Institute, Chennai, India

  ⨯
• Mukund Thattai

  * E-mail: thattai@ncbs.res.in

  Affiliation Simons Centre for the Study of Living Machines, National Centre for Biological Sciences, Tata Institute of Fundamental Research, Bengaluru, India

  ⨯