A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
From MaRDI portal
Publication:2022307
DOI10.1007/s00236-019-00357-3MaRDI QIDQ2022307
Lakshmanan Kuppusamy, Arnab Bhattacharyya, Ashutosh Gupta, Mandayam Srivas, Somya Mani, Ankit Shukla, Mukund Thattai
Publication date: 28 April 2021
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-019-00357-3
68Qxx: Theory of computing
Uses Software
Cites Work