Communication Dans Un Congrès
Année : 2011
Alain Denise : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00644834
Soumis le : vendredi 25 novembre 2011-11:30:10
Dernière modification le : vendredi 17 mai 2024-16:32:06
Dates et versions
Identifiants
- HAL Id : hal-00644834 , version 1
Citer
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet. Uniform Monte-Carlo Model Checking. FASE 2011, 2011, Saarbrücken, Germany. ⟨hal-00644834⟩
Collections
202
Consultations
0
Téléchargements