Uniform Monte-Carlo Model Checking

Johan Oudinet 1 Alain Denise 1, 2, 3 Marie-Claude Gaudel 1 Richard Lassaigne 1, 4 Sylvain Peyronnet 1, 5
1 LRI - Laboratoire de Recherche en Informatique
2 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR8623
3 IGM - Institut de génétique et microbiologie [Orsay]
4 ELM - Équipe de Logique Mathématique
5 GRAND-LARGE - Global parallel and distributed computing
LRI - Laboratoire de Recherche en Informatique, LIFL - Laboratoire d'Informatique Fondamentale de Lille, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Communication dans un congrès
FASE 2011, 2011, Saarbrücken, Germany. 2011
Liste complète des métadonnées
https://hal.inria.fr/hal-00644834
Contributeur : Alain Denise <>
Soumis le : vendredi 25 novembre 2011 - 11:30:10
Dernière modification le : jeudi 10 mai 2018 - 02:06:18

Identifiants

  • HAL Id : hal-00644834, version 1

Collections

INRIA | ELM | LIX | PARISTECH | X | X-LIX | UMR8623 | UNIV-LILLE3 | I2BC | USPC | X-DEP-INFO

Citation

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet. Uniform Monte-Carlo Model Checking. FASE 2011, 2011, Saarbrücken, Germany. 2011. 〈hal-00644834〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

303

Contact


archive-ouverte@inria.fr