Uniform Monte-Carlo Model Checking - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Uniform Monte-Carlo Model Checking

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

Domains

Computer Science [cs] Data Structures and Algorithms [cs.DS] Computer Science [cs] Software Engineering [cs.SE]

Alain Denise  : Connect in order to contact the contributor

https://hal.inria.fr/hal-00644834

Submitted on : Friday, November 25, 2011-11:30:10 AM

Last modification on : Tuesday, October 25, 2022-4:21:31 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-00644834 , version 1

Cite

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

Export

BibTeX 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 UNIV-PARIS GS-HEALTH-DRUG-SCIENCES
192 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More