haku: @keyword logiikkaohjelmat / yhteensä: 2
viitteet: 1-2 / 2
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Solving Boolean Equation Systems
2005 Keinänen, Misa
2.
Deadlock and Reachability Checking with Finite Complete Prefixes
1999 Heljanko, Keijo
« edellinen sivu | seuraava sivu »
INSSI