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

Etienne Renault

est l'auteur d'une thèse

Algorithmes parallèles Automates Automates sur les mots infinis Lock-Free Model checking explicite Test de vacuité Union-Find

Fullscreen

Algorithmes parallèles Automates Automates sur les mots infinis Lock-Free Model checking explicite Test de vacuité Union-Find

Etienne Renault a rédigé la thèse suivante :

Contribution aux tests de vacuité pour le model checking explicite

par Etienne Renault sous la direction de Fabrice Kordon - Paris 6

Informatique

Soutenue le 05-12-2014

Thèse soutenue

Accéder en ligne