Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions

Gomes, Pedro ; VIEIRA, Alex Borges ; Campos, Sérgio . Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions. In: International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012, Madrid. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012.

2012