Model checking Markov chains

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period11 Oct 1999
    Event titleDagstuhl seminar on Temporal Logics 1999
    Event typeConference
    LocationWadern, Germany