Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
A Markov Chain Model Checker
H. Hermanns (Keynote speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Key-note speaker
Period
30 Mar 2000
Event title
6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000
Event type
Conference
Conference number
6
Location
Berlin, Germany
Degree of Recognition
International
Keywords
METIS-120894