( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions.

, , и . HPCS, стр. 343-349. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Helena Maria Carvalho Gomes

Cícero Gomes de Oliveira

Luiz Cláudio ˜deœ Carvalho

Irene Melo de Carvalho

Crícia de Carvalho Rodegheri

 

Другие публикации лиц с тем же именем

SopCast P2P live streaming: live session traces and analysis., , , , и . MMSys, стр. 125-130. ACM, (2013)Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions., , и . HPCS, стр. 343-349. IEEE, (2012)Sound Control-Flow Graph Extraction for Java Programs with Exceptions., , , и . SEFM, том 7504 из Lecture Notes in Computer Science, стр. 33-47. Springer, (2012)Automatic Extraction of Program Models for Formal Software Verification.. Royal Institute of Technology, Stockholm, Sweden, (2015)base-search.net (ftkthstockholm:oai:DiVA.org:kth-176286).Specification and Verification of Synchronization with Condition Variables., , и . FTSCS, том 694 из Communications in Computer and Information Science, стр. 3-19. (2016)Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs., , и . FASE, том 8411 из Lecture Notes in Computer Science, стр. 215-229. Springer, (2014)A behaviour model of the SopCast users., , , , и . WebMedia, стр. 24. ACM, (2009)Characterizing SopCast client behavior., , , , , и . Comput. Commun., 35 (8): 1004-1016 (2012)