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

From MaRDI portal
(Redirected from Publication:2022307)