Lorentz Center - Two Decades of Probabilistic Verification Reflections and Perspectives from 12 Nov 2007 through 16 Nov 2007
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Two Decades of Probabilistic Verification Reflections and Perspectives
    from 12 Nov 2007 through 16 Nov 2007

 
presentations

   [Back]