A Comparative Study of Methods for Efficient Reachability Analysis
| dc.contributor | Aalto-yliopisto | fi |
| dc.contributor | Aalto University | en |
| dc.contributor.author | Rauhamaa, Marko | |
| dc.contributor.department | Tietotekniikan osasto | fi |
| dc.contributor.school | Teknillinen korkeakoulu | fi |
| dc.contributor.school | Helsinki University of Technology | en |
| dc.contributor.supervisor | Ojala, Leo | |
| dc.date.accessioned | 2021-04-14T11:10:21Z | |
| dc.date.available | 2021-04-14T11:10:21Z | |
| dc.date.issued | 1990 | |
| dc.format.extent | 57 | |
| dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/105012 | |
| dc.identifier.urn | URN:NBN:fi:aalto-202104144302 | |
| dc.language.iso | en | en |
| dc.programme.major | Digitaalitekniikka | fi |
| dc.programme.mcode | Tik-79 | fi |
| dc.rights.accesslevel | closedAccess | |
| dc.title | A Comparative Study of Methods for Efficient Reachability Analysis | en |
| dc.title | Saavutettavuusanalyysia tehostavien menetelmien vertaileva tutkimus | fi |
| dc.type.okm | G3 Lisensiaatintutkimus | |
| dc.type.ontasot | Licentiate thesis | en |
| dc.type.ontasot | Lisensiaatintyö | fi |
| local.aalto.digiauth | ask | |
| local.aalto.digifolder | Aalto_73331 | |
| local.aalto.idinssi | 6565 | |
| local.aalto.openaccess | no |