Model checking Markov chains

    Activity: Talk or presentation › Invited talk

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