Modelling BitTorrent-like Streaming Piece Selection with Event-B

Petter Sandvik*, Kaisa Sere, Marina Walden

*Korresponderande författare för detta arbete

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

OriginalspråkEngelska
Titel på gästpublikationProceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
UtgivningsortTurku, Finland
FörlagTurku Centre for Computer Science (TUCS)
Sidor82-84
Volym57
StatusPublicerad - 2010
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar

Publikationsserier

NamnTUCS General Publication
FörlagTUCS
Nummer57
ISSN (tryckt)1239-1905

Citera det här