Uniform Monte-Carlo Model Checking - INRIA - Institut National de Recherche en Informatique et en Automatique

Documentation
Français (FR)

Anglais (EN)

Communication Dans Un Congrès Année : 2011

Uniform Monte-Carlo Model Checking

(1) , (1, 2, 3) , (1) , (1, 4) , (1, 5)

1
2
3
4
5

Johan Oudinet

Fonction : Auteur

Laboratoire de Recherche en Informatique

Alain Denise

Fonction : Auteur
PersonId : 7014
IdHAL : alain-denise
ORCID : 0000-0003-4484-4996
IdRef : 035353368

Laboratoire de Recherche en Informatique

Algorithms and Models for Integrative Biology

Institut de génétique et microbiologie [Orsay]

Marie-Claude Gaudel

Fonction : Auteur
PersonId : 6986
IdHAL : marie-claude-gaudel
IdRef : 026883988

Laboratoire de Recherche en Informatique

Richard Lassaigne

Fonction : Auteur
PersonId : 834680

Laboratoire de Recherche en Informatique

Équipe de Logique Mathématique

Sylvain Peyronnet

Fonction : Auteur

Laboratoire de Recherche en Informatique

Global parallel and distributed computing

Domaines

Algorithme et structure de données [cs.DS] Génie logiciel [cs.SE]

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 : lundi 12 février 2024-10:42:04

Dates et versions

hal-00644834 , version 1 (25-11-2011)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 X EC-PARIS UNIV-LILLE3 CNRS INRIA ELM LIX X-LIX X-DEP-INFO UMR8623 INRIA2 I2BC UNIV-PARIS-SACLAY GS-HEALTH-DRUG-SCIENCES

200 Consultations

0 Téléchargements

Partager