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

Statistical Approaches for Probabilistic Model Checking

Vincent Nimal

School
Oxford University Computing Laboratory
Year
2010

Links

See Also

Back to Top