Skip to main navigation Skip to search Skip to main content

Modelling BitTorrent-like Streaming Piece Selection with Event-B

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific

Search results

  • Finished

    DIJON: Distributed Jointly Operating Networks (Academy of Finland)

    Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)

    01/01/08 → 31/12/11

    Project: Research Council of Finland/Other Research Councils