Skip to main navigation Skip to search Skip to main content

A Markov Chain Model Checker

  • H. Hermanns (Keynote speaker)

    Activity: Talk or presentation › Oral 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, GermanyShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-120894