Formal Analysis and Verification of Peer-to-Peer Node Behaviour
Julkaisuvuosi
2011
Tekijät
Sandvik, Petter; Sere, Kaisa
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Kustantaja
Volyymi
NNNN
Numero
NNNN
Sivut
47-52
Julkaisufoorumi
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Julkaisumaa
Yhdysvallat (USA)
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä