@Article{         springerlink:10.1007/s10009-011-0205-y,
  Author        = "Bouajjani, Ahmed and Habermehl, Peter and Rogalewicz, Adam and Vojnar, Tom{\'a}{\v s}",
  affiliation   = "LIAFA, Universit{\'e} Paris Diderot---Paris 7/CNRS, Case 7014, 75205 Paris Cedex 13, France",
  date-added    = "2012-10-05 14:10:21 +0000",
  date-modified = "2012-10-05 14:11:20 +0000",
  ISSN          = "1433-2779",
  Issue         = "2",
  Journal       = "International Journal on Software Tools for Technology Transfer (STTT)",
  keyword       = "Computer Science",
  Keywords      = "regular model checking and readme",
  Note          = "10.1007/s10009-011-0205-y",
  Pages         = "167-191",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "Abstract regular (tree) model checking",
  URL           = "http://dx.doi.org/10.1007/s10009-011-0205-y",
  Volume        = "14",
  Year          = "2012",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s10009-011-0205-y",
  File          = "Abstract regular (tree) model checking - Bouajjani, Habermehl, Rogalewicz, Vojnar (0) (0) - a - a - y.pdf"
}

@Article{ springerlink:10.1007/s10009-011-0205-y, Author = "Bouajjani, Ahmed and Habermehl, Peter and Rogalewicz, Adam and Vojnar, Tom{\'a}{\v s}", affiliation = "LIAFA, Universit{\'e} Paris Diderot---Paris 7/CNRS, Case 7014, 75205 Paris Cedex 13, France", date-added = "2012-10-05 14:10:21 +0000", date-modified = "2012-10-05 14:11:20 +0000", ISSN = "1433-2779", Issue = "2", Journal = "International Journal on Software Tools for Technology Transfer (STTT)", keyword = "Computer Science", Keywords = "regular model checking and readme", Note = "10.1007/s10009-011-0205-y", Pages = "167-191", Publisher = "Springer Berlin / Heidelberg", Title = "Abstract regular (tree) model checking", URL = "http://dx.doi.org/10.1007/s10009-011-0205-y", Volume = "14", Year = "2012", bdsk-url-1 = "http://dx.doi.org/10.1007/s10009-011-0205-y", File = "Abstract regular (tree) model checking - Bouajjani, Habermehl, Rogalewicz, Vojnar (0) (0) - a - a - y.pdf" }