Reachibility Analysis of Probabilistic Systems by Successive Refinements

  • P.R. d' Argenio (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period28 Jun 2001
    Event titleVOSS Meeting Enschede 2001
    Event typeProject
    LocationEnschede, NetherlandsShow on map
    Degree of RecognitionInternational