Model checking Markov chains

    Activity: Talk or presentationInvited talk

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