@Misc{            Trakhtenbrot,
  Author        = "Trakhtenbrot, Boris",
  date-added    = "2012-12-10 15:34:12 +0000",
  date-modified = "2012-12-10 15:35:13 +0000",
  HowPublished  = "lecture notes",
  Keywords      = "hybrid automata",
  Title         = "Automata and Hybrid Systems",
  Year          = "1997",
  File          = "Automata and Hybrid Systems - Trakhtenbrot (0) (0) - a - a - f.pdf"
}

@Misc{ Trakhtenbrot, Author = "Trakhtenbrot, Boris", date-added = "2012-12-10 15:34:12 +0000", date-modified = "2012-12-10 15:35:13 +0000", HowPublished = "lecture notes", Keywords = "hybrid automata", Title = "Automata and Hybrid Systems", Year = "1997", File = "Automata and Hybrid Systems - Trakhtenbrot (0) (0) - a - a - f.pdf" }