@Article{         springerlink:10.1007/s10009-011-0213-y,
  Author        = "Delzanno, Giorgio and Rezine, Ahmed",
  affiliation   = "Universit{\`a} di Genova, Genoa, Italy",
  date-added    = "2012-12-18 11:12:07 +0000",
  date-modified = "2012-12-18 11:12:07 +0000",
  ISSN          = "1433-2779",
  Issue         = "2",
  Journal       = "International Journal on Software Tools for Technology Transfer (STTT)",
  keyword       = "Computer Science",
  Note          = "10.1007/s10009-011-0213-y",
  Pages         = "207-222",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "A lightweight regular model checking approach for parameterized systems",
  URL           = "http://dx.doi.org/10.1007/s10009-011-0213-y",
  Volume        = "14",
  Year          = "2012",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s10009-011-0213-y",
  File          = "A lightweight regular model checking approach for parameterized systems - Delzanno, Rezine (0) (0) - a - a - r.pdf"
}

@Article{ springerlink:10.1007/s10009-011-0213-y, Author = "Delzanno, Giorgio and Rezine, Ahmed", affiliation = "Universit{`a} di Genova, Genoa, Italy", date-added = "2012-12-18 11:12:07 +0000", date-modified = "2012-12-18 11:12:07 +0000", ISSN = "1433-2779", Issue = "2", Journal = "International Journal on Software Tools for Technology Transfer (STTT)", keyword = "Computer Science", Note = "10.1007/s10009-011-0213-y", Pages = "207-222", Publisher = "Springer Berlin / Heidelberg", Title = "A lightweight regular model checking approach for parameterized systems", URL = "http://dx.doi.org/10.1007/s10009-011-0213-y", Volume = "14", Year = "2012", bdsk-url-1 = "http://dx.doi.org/10.1007/s10009-011-0213-y", File = "A lightweight regular model checking approach for parameterized systems - Delzanno, Rezine (0) (0) - a - a - r.pdf" }