S
[Sic19] Salomon Sickert. A unified translation of Linear Temporal Logic to ω-automata. PhD thesis, Technischen Universität München, Germany, Juillet 2019.
@phdthesis{phd-sickert,
  author =              {Sickert, Salomon},
  title =               {A~unified translation of Linear Temporal Logic to
                         {\(\omega\)}-automata},
  year =                {2019},
  month =               jul,
  school =              {Technischen Universit{\"a}t M{\"u}nchen, Germany},
}
Liste des auteurs