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
Real-Time Model Checking: How UPPAAL really works and How to make UPPAAL really work
K.G. Larsen (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Vught, the Netherlands
Period
30 Nov 2001
Event title
Invited lecture at IPA Fall Days on Timed Systems
Event type
Conference
Location
Vught, the Netherlands
Keywords
METIS-204833