Pedro de Carvalho Gomes, Sérgio Vale Aguiar Campos, Alex Borges Vieira. Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions. In Waleed W. Smari, Vesna Zeljkovic, editors, 2012 International Conference on High Performance Computing & Simulation, HPCS 2012, Madrid, Spain, July 2-6, 2012. pages 343-349, IEEE, 2012. [doi]
Abstract is missing.