AJAMI Khalil

Doctor - SRC
Fecha de salida : 30/06/2001
https://lip6.fr/Khalil.Ajami

Dirección de investigación : Claude GIRAULT

Co-supervisión : ILIÉ Jean-Michel

La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries

La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries

Defensa : 03/07/2000

miembros del jurado :

Berthelot Gérard(CNAM) [Rapporteur Président]
Haddad Serge(LAMSADE Dauphine) [Rapporteur]
Girault Claude(LIP6)
Ilié Jean- Michel(IUT Paris V)
Chehaibar Ghassan(BULL SERVERS)
Franceschinis Giuliana(Université de Turin)

Fecha de salida : 30/06/2001

Publicaciones 1997-2000

Mentions légales
Mapa del sitio