Model checking Markov chains

Katoen, J. P. (Speaker)

    Activity: Talk or presentationInvited talk

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