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
Beyond memoryless distributions: model checking semi-Markov chains
H. Hermanns (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Germany
Period
12 Sep 2001
Event title
Joint International Workshop on Process Algebra and Probabilistic Methods & Probabilistic Methods in Verification, PAPM-PROBMIV 2001
Event type
Workshop
Location
Aachen, Germany
Keywords
METIS-204448