Model Checking Markov chains and decision processes

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Pinsot, France
    Period23 Jun 2004
    Event titleInvited talk System Engineering and Validation Workshop
    Event typeConference
    LocationPinsot, France

    Keywords

    • METIS-222567