Reachibility Analysis of Probabilistic Systems by Successive Refinements

P.R. d' Argenio (Speaker)

    Activity: Talk or presentationOral presentation

    Period28 Jun 2001
    Event titleVOSS Meeting Enschede 2001: null
    Event typeProject
    LocationEnschede, Netherlands
    Degree of RecognitionInternational