Identifiant pérenne de la notice : 267355874
Notice de type
Personne
Parity games and reachability in infinite-state systems with parameters / Mathieu
Hilaire ; sous la direction de Stefan Göller et sous le co-encadrement de Benedikt
Bollig. Thèse de doctorat : Informatique : université Paris-Saclay : 2022