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