Shi, Yongtang and Shukla, Ankit and Bhattacharyya, Arnab and Kuppusamy, Lakshmanan and Srivas, Mandayam and Thattai, Mukund (2017) Discovering vesicle traffic network constraints by model checking. In: PLOS ONE, 12 (7). ISSN 1932-6203