@Article{         LegayWolper,
  Author        = "Legay, Axel and Wolper, Pierre",
  date-added    = "2013-12-22 12:55:35 +0000",
  date-modified = "2013-12-22 12:55:44 +0000",
  EPrint        = "0809.2214",
  Keywords      = "regular model checking",
  Month         = "09",
  Title         = "On (Omega-)Regular Model Checking",
  URL           = "http://arxiv.org/abs/0809.2214",
  Year          = "2008",
  bdsk-url-1    = "http://arxiv.org/abs/0809.2214",
  File          = "On (Omega-)Regular Model Checking - Legay, Wolper (0) (0) - a - a - h.pdf"
}

@Article{ LegayWolper, Author = "Legay, Axel and Wolper, Pierre", date-added = "2013-12-22 12:55:35 +0000", date-modified = "2013-12-22 12:55:44 +0000", EPrint = "0809.2214", Keywords = "regular model checking", Month = "09", Title = "On (Omega-)Regular Model Checking", URL = "http://arxiv.org/abs/0809.2214", Year = "2008", bdsk-url-1 = "http://arxiv.org/abs/0809.2214", File = "On (Omega-)Regular Model Checking - Legay, Wolper (0) (0) - a - a - h.pdf" }