TY - THES DP - http://www.theses.fr/2003INPG0040 TI - Méthodes et algorithmes pour l'évaluation des performances des systèmes informatiques à grand espace d'états AU - Benoit, Anne A3 - Plateau, Brigitte PY - 2003 SP - 1 volume (168 pages) N1 - Thèse de doctorat Informatique Grenoble INPG 2003 N1 - 2003INPG0040 ER -