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
Real-Time Model Checking and Beyond
K.G. Larsen (Speaker)
Activity
:
Talk or presentation
›
Invited talk
Period
30 Jan 2001
Event title
Dutch Model Checking Day 2001
Event type
Conference
Location
Enschede, Netherlands