@PHDTHESIS{renki2022,
url = "http://www.theses.fr/2022SORUS227",
title = "Transformations d’ω-automates pour la synthèse de systèmes réactifs",
author = "Renkin, Florian",
year = "2022",
note = "Thèse de doctorat dirigée par Duret-Lutz, Alexandre et Pommellet, Adrien Informatique Sorbonne université 2022",
note = "2022SORUS227",
url = "http://www.theses.fr/2022SORUS227/document",
}