Keijo Tapio Heljanko – Julkaisut — Helsingin yliopisto

Näytä Scopus-profiili

Puhelin+358505560400, +358294151354
Sähköpostikeijo.heljankohelsinkifi

PL 68 (Pietari Kalmin katu 5)
00014
Suomi
Suomi

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

66 Konferenssiartikkeli
35 Artikkeli
16 Tutkimusraportti
3 Kokoomateos tai erikoisnumero
Muut aineistot
- 3 Kirjan luku tai artikkeli
- 1 Kirja

1 tulosta

Suodatin

2008

Unfoldings - A Partial Order Approach to Model Checking
Esparza, J. & Heljanko, K., 2008
Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu