A formal methods approach to predicting new features of the eukaryotic vesicle traffic system

From MaRDI portal
Publication:2022307