TY  - THES
DP  - http://www.theses.fr/2022SORUS227
TI  - Transformations d’ω-automates pour la synthèse de systèmes réactifs
AU  - Renkin, Florian
A3  - Duret-Lutz, Alexandre; Pommellet, Adrien
PY  - 2022
N1  - Thèse de doctorat Informatique Sorbonne université 2022
N1  - 2022SORUS227
UR  - http://www.theses.fr/2022SORUS227/document
ER  -