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
Model Checking Markov Chains
H. Hermanns (Invited speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Opmerking: Invited Plaats van uitgifte: Dagstuhl, Germany
Period
4 Nov 2000
Event title
Presentation at Dagstuhl Seminar on Advanced Stochastic Modelling in Telecommunications
Event type
Conference
Location
Dagstuhl, Germany
Keywords
METIS-121308