haku: @instructor Lilius, Johan / yhteensä: 5
viitteet: 3-5 / 5
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
3.
Model Checking the Branching Time Temporal Logic CTL
1997 Heljanko, Keijo
4.
Time processes of time Petri nets
1996 Aura, Tuomas
5.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
« edellinen sivu | seuraava sivu »
INSSI