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
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⟩
192 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More