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
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