Unfoldings - A Partial Order Approach to Model Checking
Julkaisuvuosi
2008
Tekijät
Esparza, Javier; Heljanko, Keijo
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Erillisteos
Yleisö
Tieteellinen
Vertaisarvioitu
Vertaisarvioitu
OKM:n julkaisutyyppiluokitus
C1 Kustannettu tieteellinen erillisteosJulkaisukanavan tiedot
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä