haku: @keyword turvallisuusominaisuudet / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Model checking PSL safety properties
2009 Launiainen, Tuomas
« edellinen sivu | seuraava sivu »
INSSI