Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

tipoA-CoppoEtAl:TCS-2012 (Article)
Author(s) Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella and Angelo Troina
Title« Simulation techniques for the calculus of wrapped compartments »
JournalTheoretical Computer Science
Volume431
Page(s)75 - 95
Year2012
ISSN number0304-3975
URLhttp://www.sciencedirect.com/science/article/pii/S0304397511010395
Note<ce:title>Modelling and Analysis of Biological Systems</ce:title> <ce:subtitle>Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena)</ce:subtitle>
Keywords
Keywords: Biochemical systems

BibTeX code

@article{tipoA-CoppoEtAl:TCS-2012,
  number = {0},
  volume = {431},
  author = {Mario Coppo and Ferruccio Damiani and Maurizio Drocco and Elena
            Grassi and Eva Sciacca and Salvatore Spinella and Angelo Troina},
  issn = {0304-3975},
  note = {Modelling and Analysis of Biological Systems
          Based on papers presented at the Workshop on Membrane
          Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in
          2008 (Iasi), 2009 (Bologna) and 2010 (Jena)},
  keywords = {Biochemical systems},
  url = {http://www.sciencedirect.com/science/article/pii/S0304397511010395},
  title = {Simulation techniques for the calculus of wrapped compartments},
  doi = {10.1016/j.tcs.2011.12.063},
  journal = {Theoretical Computer Science},
  pages = {75 - 95},
  year = {2012},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!