Synthesis for Vesicle Traffic Systems. - Ashutosh Gupta; Somya Mani; Ankit Shukla 003 (CMSB, 2018)

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. - Arnab Bhattacharyya 001; Ashutosh Gupta; Lakshmanan Kuppusamy; Somya Mani; Ankit Shukla 003; Mandayam K. Srivas; Mukund Thattai (Acta Informatica, 2021)