A Markov Chain Model Checker

H. Hermanns (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Key-note speaker
    Period30 Mar 2000
    Event title6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000
    Event typeConference
    Conference number6
    LocationBerlin, Germany
    Degree of RecognitionInternational

    Keywords

    • METIS-120894