haku: @keyword rajoitettu mallintarkastus / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Bounded Model Checking for Verifying Concurrent Programs
2001 Jussila, Toni
« edellinen sivu | seuraava sivu »
INSSI