@Article{         springerlink:10.1007/s10703-008-0062-9,
  Author        = "Abdulla, Parosh and Delzanno, Giorgio and Rezine, Ahmed",
  affiliation   = "Uppsala University Division of Computer Systems Box 337 75105 Uppsala Sweden",
  date-added    = "2012-12-18 11:03:48 +0000",
  date-modified = "2012-12-18 11:03:48 +0000",
  ISSN          = "0925-9856",
  Issue         = "2",
  Journal       = "Formal Methods in System Design",
  keyword       = "Engineering",
  Note          = "10.1007/s10703-008-0062-9",
  Pages         = "126-156",
  Publisher     = "Springer Netherlands",
  Title         = "Approximated parameterized verification of infinite-state processes with global conditions",
  URL           = "http://dx.doi.org/10.1007/s10703-008-0062-9",
  Volume        = "34",
  Year          = "2009",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s10703-008-0062-9",
  File          = "Approximated parameterized verification of infinite-state processes with global conditions - Abdulla, Delzanno, Rezine (0) (0) - a - a - z.pdf"
}

@Article{ springerlink:10.1007/s10703-008-0062-9, Author = "Abdulla, Parosh and Delzanno, Giorgio and Rezine, Ahmed", affiliation = "Uppsala University Division of Computer Systems Box 337 75105 Uppsala Sweden", date-added = "2012-12-18 11:03:48 +0000", date-modified = "2012-12-18 11:03:48 +0000", ISSN = "0925-9856", Issue = "2", Journal = "Formal Methods in System Design", keyword = "Engineering", Note = "10.1007/s10703-008-0062-9", Pages = "126-156", Publisher = "Springer Netherlands", Title = "Approximated parameterized verification of infinite-state processes with global conditions", URL = "http://dx.doi.org/10.1007/s10703-008-0062-9", Volume = "34", Year = "2009", bdsk-url-1 = "http://dx.doi.org/10.1007/s10703-008-0062-9", File = "Approximated parameterized verification of infinite-state processes with global conditions - Abdulla, Delzanno, Rezine (0) (0) - a - a - z.pdf" }