2017-05-05 - Colloque/Présentation - communication orale - Anglais -
0 page(s)
Hautem Quentin 
,
"Window parity games" in Centre Fédéré en Vérification (ULB), Bruxelles, Belgique, 2017
- Codes CREF : Informatique mathématique (DI1160)
- Unités de recherche UMONS : Informatique théorique (S829)
- Instituts UMONS : Institut de Recherche en Technologies de l’Information et Sciences de l’Informatique (InforTech), Institut de Recherche sur les Systèmes Complexes (Complexys)
- Centres UMONS : Modélisation mathématique et informatique (CREMMI)