TY - THES DP - http://www.theses.fr/1993PA112194 TI - Verification probabiliste de problemes de graphes : application a la planification avec incertitudes AU - DIAZ-FRIAS, JUAN FRANCISCO A3 - Rougemont, Michel de PY - 1993 SP - 107 P. N1 - Thèse de doctorat Sciences appliquées Paris 11 1993 N1 - 1993PA112194 ER -