Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Search content at University of Twente Research Information
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Implementing a Model Checker for Performability Behaviour
H. Hermanns (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
16 Sept 2001
Event title
5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001
Event type
Workshop
Conference number
5
Location
Erlangen, Germany
Show on map
Degree of Recognition
International
Keywords
METIS-204452
X