@MastersThesis{   parolini,
  Author        = "Parolini, Francesco",
  date-added    = "2021-09-27 15:44:28 +0200",
  date-modified = "2021-09-27 15:45:10 +0200",
  School        = "Universit{\`a} degli Studi di Padova",
  Title         = "Simulation-based Inclusion Checking Algorithms for {$\omega$}-Languages",
  Year          = "2020",
  File          = "Simulation-based Inclusion Checking Algorithms for {$\omega$}-Languages - Parolini\_MThesis.pdf"
}

@MastersThesis{ parolini, Author = "Parolini, Francesco", date-added = "2021-09-27 15:44:28 +0200", date-modified = "2021-09-27 15:45:10 +0200", School = "Universit{`a} degli Studi di Padova", Title = "Simulation-based Inclusion Checking Algorithms for {$\omega$}-Languages", Year = "2020", File = "Simulation-based Inclusion Checking Algorithms for {$\omega$}-Languages - Parolini_MThesis.pdf" }