Formal Analysis and Verification of Peer-to-Peer Node Behaviour

Publiceringsår

2011

Upphovspersoner

Sandvik, Petter; Sere, Kaisa

Organisationer och upphovspersoner

Åbo Akademi

Sere Kaisa

Sandvik Petter

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal/Serie

The Third International Conference on Advances in P2P Systems (AP2PS 2011)

Förläggare

IARIA

Volym

NNNN

Nummer

NNNN

Sidor

47-52

Publikationsforum

71169

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Ingen information

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Identifierade tema

[object Object]

Publiceringsland

Förenta staterna (USA)

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag