haku: @keyword model checking / yhteensä: 20
viitteet: 1-10 / 20
« edellinen sivu | seuraava sivu »
otsikko | vuosi | tekijä | ||
1. | 2015 | Henriksson, Oscar |
||
2. | 2013 | Forsblom, Kati |
||
3. | 2011 | Zhang, Zhengkui |
||
4. | 2010 | Juslin, Veli-Pekka |
||
5. | 2010 | Frits, Juho |
||
6. | 2009 | Hartikainen, Markus |
||
7. | 2009 | Launiainen, Tuomas |
||
8. | 2008 | Ojala, Vesa |
||
9. | 2008 | Lahtinen, Jussi |
||
10. | 2008 | Koskimies, Matti |
« edellinen sivu | seuraava sivu »
INSSI