Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Arnaud Da Costa Lopes (Da Costa Lopes)

est l'auteur d'une thèse

Informatique Logiciels -- Vérification Logique temporelle Vérification formelle

Fullscreen

Informatique Logiciels -- Vérification Logique temporelle Vérification formelle

Arnaud Da Costa Lopes (Da Costa Lopes) a rédigé la thèse suivante :

Propriétés de jeux multi-agents

par Arnaud Da Costa Lopes (Da Costa Lopes) sous la direction de Wieslaw Zielonka et de François Laroussinie . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 20-09-2011

Thèse soutenue

Accéder en ligne