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
Specification and Analysis of Stochastic Timed Systems
P.R. d' Argenio (Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
Period
21 Feb 2000
Event title
Dagstuhl Seminar 00181: Probabilistic Methods in Verification 2000
Event type
Conference
Location
Wadern, Germany