Tampere University of Technology

TUTCRIS Research Portal

What does theory say about the possibilities of improving efficiency

Activity: Talk or presentationConference presentation

Details

Antti Valmari - Speaker

2005

Event (Conference)

TitleUK Model Checking Days 2005, York on 27th September, 2005
Period1/01/05 → …

Country of activity

Publication forum classification

ID: 12576841