open access
Inssi
In English
session »
kirjaudu ulos
learningcentre.aalto.fi
/
OA tietokannat
/
Inssi
/ hakutulokset
Inssi haku
valintakori
0
Tietokannat
Helecon
FINP
THES
SCIMA
CLASSIC
SCANP
Asiasanasto
Tenttu
Inssi
Tali
Rescat
TkkJulkaisee
TkkToimii
TkkTutkii
haku: @supervisor Husberg, Nisse / yhteensä: 10
viitteet: 10-10 / 10
«
edellinen sivu
|
seuraava sivu
»
otsikko
vuosi
tekijä
10.
Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints
2000
Latvala, Timo
«
edellinen sivu
|
seuraava sivu
»
INSSI