External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 23, Issue 1

    1 -- 38Adrien Basso-Blandin, Franck Delaplace. GUBS, a Behaviour-Based Language for Design in Synthetic Biology
    39 -- 73Erik P. de Vink, Hans Zantema, Dragan Bosnacki. RNA-Editing with Combined Insertion and Deletion Preserves Regularity
    75 -- 117Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. Modular Verification of Qualitative Pathway Models with Fairness
    119 -- 167Anna Philippou, Mauricio Toro, Margarita Antonaki. Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
    runs on