Modelling BitTorrent-like Streaming Piece Selection with Event-B

Petter Sandvik*, Kaisa Sere, Marina Walden

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
JulkaisupaikkaTurku, Finland
KustantajaTurku Centre for Computer Science (TUCS)
Sivut82-84
Vuosikerta57
TilaJulkaistu - 2010
OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

Julkaisusarja

NimiTUCS General Publication
KustantajaTUCS
Numero57
ISSN (painettu)1239-1905

Viittausmuodot