haku: @keyword datorstödd verifiering / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
On Model Checking Safety Properties
2002 Latvala, Timo
« edellinen sivu | seuraava sivu »
INSSI