Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Events
  3. Verification Seminars
  4. Probabilistic Model Checking and Abstraction

Probabilistic Model Checking and Abstraction

  • 24Oct
    11:30 24th October 2007 ( week 3, Michaelmas Term 2007 )
    Oxford University Computing Laboratory, Room 347

 

 

Seminar Series

See also

Coordinators

News & Events

Back to Top