Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Tampereen yliopiston tutkimusportaali Etusivu
Tuki ja usein esitetyt kysymykset
English
Suomi
Etusivu
Profiilit
Tutkimusyksiköt
Tutkimustuotokset
Aktiviteetit
Tietoaineistot
Tutkimusinfrastruktuurit
Lehtileikkeet
Palkinnot
Haku asiantuntemuksen, nimen tai kytköksen perusteella
14th Workshop on Model Checking Software - SPIN '07, Berlin, Germany, 1-3 July, 2007
Antti Valmari (Jäsen)
Aktiviteetti
:
Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
Aikajakso
2007
Tapahtuman tyyppi
Conference
Country of activity
Saksa
Publication forum classification
Ei tasoa
X