Markov Chain Model Checker

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Period24 Aug 2002
    Event titleTools Day CONCUR 2002
    Event typeConference
    LocationBrno, Czech Republic
    Degree of RecognitionInternational

    Keywords

    • METIS-209119