C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions.
Pedro de Carvalho Gomes
Sérgio Vale Aguiar Campos
Alex Borges Vieira
Published in:
HPCS (2012)
Keyphrases
</>
semi automatic
live streaming
file sharing
streaming video
distributed systems