@phdthesis{Wolf2022,
  author      = {Petra Wolf},
  title       = {Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Trier},
  doi       = {10.25353/ubtr-xxxx-0898-dfc2},
  year        = {2022},
}