GUBS, a Behaviour-Based Language for Design in Synthetic Biology, pages 1-38

Authors: A. Basso-Blandin, F. Delaplace

Abstract | References | BibTeX | Full Text (PDF)

RNA-Editing with Combined Insertion and Deletion Preserves Regularity, pages 39-73

Authors: E.P. de Vink, H. Zantema, D. Bošnački

Abstract | References | BibTeX | Full Text (PDF)

Modular Verification of Qualitative Pathway Models with Fairness, pages 75-117

Authors: P. Drábik, A. Maggiolo-Schettini , P. Milazzo , G. Pardini

Abstract | References | BibTeX | Full Text (PDF)

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models, pages 119-167

Authors: A. Philippou, M. Toro, M. Antonaki

Abstract | References | BibTeX | Full Text (PDF)