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 Markov chains
Katoen, J. P.
(Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
Period
11 Oct 1999
Event title
Dagstuhl seminar on Temporal Logics 1999
Event type
Conference
Location
Wadern, Germany
Show on map
X