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
Performability assessment using model checking
Katoen, J. P.
(Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
4 Feb 2003
Held at
University of Illinois at Urbana-Champaign
, United States
X