@Unpublished{     Lecture-Notes-on-AutomataVerification,
  Author        = "Schewe, Sven and Finkbeiner, Bernd",
  date-added    = "2012-03-03 13:18:39 +0100",
  date-modified = "2012-03-03 13:19:37 +0100",
  Keywords      = "model checking and automata theory and game theory",
  Title         = "Lecture Notes on Automata, Games and Verification",
  File          = "Lecture Notes on Automata, Games and Verification - Schewe, Finkbeiner (0) (0) - a - a - g.pdf"
}

@Unpublished{ Lecture-Notes-on-AutomataVerification, Author = "Schewe, Sven and Finkbeiner, Bernd", date-added = "2012-03-03 13:18:39 +0100", date-modified = "2012-03-03 13:19:37 +0100", Keywords = "model checking and automata theory and game theory", Title = "Lecture Notes on Automata, Games and Verification", File = "Lecture Notes on Automata, Games and Verification - Schewe, Finkbeiner (0) (0) - a - a - g.pdf" }