Modelling BitTorrent-like Streaming Piece Selection with Event-B

^*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
Julkaisupaikka	Turku, Finland
Kustantaja	Turku Centre for Computer Science (TUCS)
Sivut	82-84
Vuosikerta	57
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekti: Research Council of Finland/Other Research Councils

Viittausmuodot

@inproceedings{4cab2623d52f488e80113b054820f8cd,

title = "Modelling BitTorrent-like Streaming Piece Selection with Event-B",

author = "Petter Sandvik and Kaisa Sere and Marina Walden",

year = "2010",

language = "English",

volume = "57",

series = "TUCS General Publication",

publisher = "Turku Centre for Computer Science (TUCS)",

number = "57",

pages = "82--84",

booktitle = "Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010",

}

Modelling BitTorrent-like Streaming Piece Selection with Event-B. / Sandvik, Petter; Sere, Kaisa; Walden, Marina.
Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010. Vuosikerta 57 Turku, Finland: Turku Centre for Computer Science (TUCS), 2010. s. 82-84 (TUCS General Publication; Nro 57).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

TY - GEN

T1 - Modelling BitTorrent-like Streaming Piece Selection with Event-B

AU - Sandvik, Petter

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2010

Y1 - 2010

M3 - Published conference proceeding

VL - 57

T3 - TUCS General Publication

SP - 82

EP - 84

BT - Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010

PB - Turku Centre for Computer Science (TUCS)

CY - Turku, Finland

ER -