@MastersThesis{   Thorn,
  Author        = "Thorn, Johannes Friedrich",
  date-added    = "2015-10-10 09:16:00 +0000",
  date-modified = "2015-10-10 09:16:43 +0000",
  Month         = "May",
  School        = {Universit{\"a}t zu L{\"u}beck},
  Title         = {Minimierung symbolischer nichtdeterministischer B{\"u}chi-Automaten - Minimization of symbolic nondeterministic B{\"u}chi automata},
  Year          = "2015",
  File          = "Minimierung symbolischer nichtdeterministischer Büchi-Automaten - Minimization of symbolic nondeterministic Büchi automata - Thorn (0) (0) - a - a - z.pdf"
}

@MastersThesis{ Thorn, Author = "Thorn, Johannes Friedrich", date-added = "2015-10-10 09:16:00 +0000", date-modified = "2015-10-10 09:16:43 +0000", Month = "May", School = {Universit{\"a}t zu L{\"u}beck}, Title = {Minimierung symbolischer nichtdeterministischer B{\"u}chi-Automaten - Minimization of symbolic nondeterministic B{\"u}chi automata}, Year = "2015", File = "Minimierung symbolischer nichtdeterministischer Büchi-Automaten - Minimization of symbolic nondeterministic Büchi automata - Thorn (0) (0) - a - a - z.pdf" }