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
Advances in Real-Time Model Checking
K.G. Larsen (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
9 Sept 2002
Event title
7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002
Event type
Conference
Conference number
7
Location
Oldenburg, Germany
Show on map
Degree of Recognition
International