Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
Quantitative Verification of Reactive and Embedded Systems
H. Hermanns (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
30 May 2001
Held at
Max-Planck-Institute for Informatics
, Germany
, Saarland
Degree of Recognition
International