@PhdThesis{       Wilke,
  Author        = "Wilke, Thomas",
  date-added    = "2012-07-07 10:14:17 +0200",
  date-modified = "2012-07-07 10:15:57 +0200",
  Title         = "Automaten und Logiken zur Beschreibung zeitabhangiger Systeme",
  Year          = "1994",
  File          = "Automaten und Logiken zur Beschreibung zeitabhangiger Systeme - Wilke (0) (0) - a - a - w.pdf"
}

@PhdThesis{ Wilke, Author = "Wilke, Thomas", date-added = "2012-07-07 10:14:17 +0200", date-modified = "2012-07-07 10:15:57 +0200", Title = "Automaten und Logiken zur Beschreibung zeitabhangiger Systeme", Year = "1994", File = "Automaten und Logiken zur Beschreibung zeitabhangiger Systeme - Wilke (0) (0) - a - a - w.pdf" }