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

 
The normal registration procedure is closed.
For further information contact the local program assistant.

People interested are free to attend the lectures during the workshop.

   [Back]