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
Quantitative Specification and Verificaion of Distributed Systems
H. Hermanns (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: TU Munich, Germany
Period
20 Nov 2004
Held at
Technische Universitat Munchen
, Germany
Keywords
METIS-222562