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

Hakutulokset