Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Model checking and performance evaluation: a perfect match
Katoen, J. P.
(Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
28 Mar 2004
Event title
10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004
Event type
Conference
Conference number
10
Location
Barcelona, Spain
Show on map
Keywords
METIS-220709
X