Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Acceleration for Statistical Model Checking

Acceleration for Statistical Model Checking

Benôıt Barbot

School
Laboratoire Spécification et Vérification‚ ENS Cachan‚ France
Year
2014

Links

See Also

Back to Top