1. Towards an electronic implementation of membrane computing: a formal description of non-deterministic evolution in transition P systems;Baranda,2001
2. Mathematical Models of Biological Systems;Berg,2011
3. Membrane Systems for Molecular Computing and Biological Modelling;Bernardini,2006
4. Formal methods for computational systems biology;Bernardini,2008
5. On P systems as a modelling tool for biological systems;Bernardini,2006