@MastersThesis{   jankola:master,
  Author        = "Jankola, Marek",
  date-added    = "2023-07-06 08:04:19 +0200",
  date-modified = "2023-07-06 08:04:42 +0200",
  Keywords      = "citesme!",
  Title         = "Tight Omega-automata",
  File          = "Tight Omega-automata - Diploma\_thesis\_\_final.pdf"
}

@MastersThesis{ jankola:master, Author = "Jankola, Marek", date-added = "2023-07-06 08:04:19 +0200", date-modified = "2023-07-06 08:04:42 +0200", Keywords = "citesme!", Title = "Tight Omega-automata", File = "Tight Omega-automata - Diploma_thesis__final.pdf" }