AJAMI Khalil

PhD graduated - SRC
Departure date : 06/30/2001
Supervision : Claude GIRAULT
Co-supervision : 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
Defence : 07/03/2000
Jury members :
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)

1997-2000 Publications

 Mentions légales
Site map |