@InCollection{    BraWal15,
  Author        = "Bradfield, Julian and Walukiewicz, Igor",
  Editor        = "E. Clarke, T. Henzinger, H. Veith",
  BookTitle     = "Handbook of Model Checking",
  date-added    = "2015-05-22 14:41:17 +0000",
  date-modified = "2015-05-22 14:43:45 +0000",
  Keywords      = "mu-calculus and readme",
  Publisher     = "Springer-Verlag",
  Title         = "The mu-calculus and model-checking",
  Year          = "2015",
  File          = "The mu-calculus and model-checking - Bradfield, Walukiewicz (0) (0) - a - a - v.pdf"
}

@InCollection{ BraWal15, Author = "Bradfield, Julian and Walukiewicz, Igor", Editor = "E. Clarke, T. Henzinger, H. Veith", BookTitle = "Handbook of Model Checking", date-added = "2015-05-22 14:41:17 +0000", date-modified = "2015-05-22 14:43:45 +0000", Keywords = "mu-calculus and readme", Publisher = "Springer-Verlag", Title = "The mu-calculus and model-checking", Year = "2015", File = "The mu-calculus and model-checking - Bradfield, Walukiewicz (0) (0) - a - a - v.pdf" }