Model checking continuous-time Markov chains

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Schloss Dagstuhl
    Period14 May 2003
    Event titleInvited tutorial at Dagstuhl seminar on Probabilistic Verification and Planning
    Event typeConference
    LocationSchloss Dagstuhl

    Keywords

    • METIS-215004