Model checking Markov chains

    Activity: Talk or presentationInvited talk

    Period6 Mar 2003
    Event titleWorkshop for the Verification of Infinite-State Systems and Quantitative Properties 2003
    Event typeConference
    LocationGrenoble, FranceShow on map