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 Algorithms for Infinite-State Markov Chains
Remke, A.
(Speaker)
Haverkort, B.
(Contributor)
L. Cloth (Contributor)
Activity
:
Talk or presentation
›
Oral presentation
Period
25 Jan 2005
Event title
VOSS II Meeting Saarbrücken 2005
Event type
Conference
Location
Saarbrücken, Germany, Saarland
Degree of Recognition
International