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
Accelerating UPPAAL
K.G. Larsen (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Birmingham, UK
Period
17 Apr 2002
Event title
2nd Workshop on Automated Verification of Critical Systems, AVoCS 2002
Event type
Conference
Conference number
2
Location
Birmingham, United Kingdom
Keywords
METIS-209597