haku: @keyword SDL Petri Nets / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Reachability-based verification of DSS1 protocol
 1998 Tynjälä, Teemu
« edellinen sivu | seuraava sivu »
INSSI