@Article{         springerlink:10.1007/s11047-010-9214-0,
  Author        = "Delzanno, Giorgio and Begin, Laurent",
  affiliation   = "Universit{\`a} di Genova, Genova, Italy",
  date-added    = "2012-12-18 11:05:37 +0000",
  date-modified = "2012-12-18 11:05:37 +0000",
  ISSN          = "1567-7818",
  Issue         = "4",
  Journal       = "Natural Computing",
  keyword       = "Computer Science",
  Note          = "10.1007/s11047-010-9214-0",
  Pages         = "795-818",
  Publisher     = "Springer Netherlands",
  Title         = "On the verification of membrane systems with dynamic structure",
  URL           = "http://dx.doi.org/10.1007/s11047-010-9214-0",
  Volume        = "9",
  Year          = "2010",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s11047-010-9214-0",
  File          = "On the verification of membrane systems with dynamic structure - Delzanno, Begin (0) (0) - a - a - h.pdf"
}

@Article{ springerlink:10.1007/s11047-010-9214-0, Author = "Delzanno, Giorgio and Begin, Laurent", affiliation = "Universit{`a} di Genova, Genova, Italy", date-added = "2012-12-18 11:05:37 +0000", date-modified = "2012-12-18 11:05:37 +0000", ISSN = "1567-7818", Issue = "4", Journal = "Natural Computing", keyword = "Computer Science", Note = "10.1007/s11047-010-9214-0", Pages = "795-818", Publisher = "Springer Netherlands", Title = "On the verification of membrane systems with dynamic structure", URL = "http://dx.doi.org/10.1007/s11047-010-9214-0", Volume = "9", Year = "2010", bdsk-url-1 = "http://dx.doi.org/10.1007/s11047-010-9214-0", File = "On the verification of membrane systems with dynamic structure - Delzanno, Begin (0) (0) - a - a - h.pdf" }