A Markov Chain Model Checker

H. Hermanns (Keynote speaker)

Activity: Talk or presentationOral presentation

Description

Key-note speaker
Period30 Mar 2000
Held at6th 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