Skip to main navigation
Skip to search
Skip to main content
Tampere University Research Portal Home
Help & FAQ
English
Suomi
Home
Profiles
Research units
Research output
Activities
Datasets
Research Infrastructures
Press/Media
Prizes
Search by expertise, name or affiliation
Tampere Verification Tool
Antti Valmari (Speaker)
Activity
:
Talk or presentation
›
Conference presentation
Period
2004
Event title
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Barcelona, Spain, March 29 - April 2, 2004
Event type
Conference
Country of activity
Spain
Publication forum classification
No publication forum level