%0 Conference Paper %1 conf/ieeehpcs/GomesCV12 %A de Carvalho Gomes, Pedro %A Campos, Sérgio Vale Aguiar %A Vieira, Alex Borges %B HPCS %D 2012 %E Smari, Waleed W. %E Zeljkovic, Vesna %I IEEE %K dblp %P 343-349 %T Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions. %U http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2012.html#GomesCV12 %@ 978-1-4673-2359-8

@inproceedings{conf/ieeehpcs/GomesCV12, added-at = {2017-05-21T00:00:00.000+0200}, author = {de Carvalho Gomes, Pedro and Campos, Sérgio Vale Aguiar and Vieira, Alex Borges}, biburl = {https://www.bibsonomy.org/bibtex/2a23702372fb13c030aefd58733a422a3/dblp}, booktitle = {HPCS}, crossref = {conf/ieeehpcs/2012}, editor = {Smari, Waleed W. and Zeljkovic, Vesna}, ee = {https://doi.org/10.1109/HPCSim.2012.6266935}, interhash = {86ff07cefcf629aac19a4725b05429f5}, intrahash = {a23702372fb13c030aefd58733a422a3}, isbn = {978-1-4673-2359-8}, keywords = {dblp}, pages = {343-349}, publisher = {IEEE}, timestamp = {2017-05-24T05:30:00.000+0200}, title = {Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions.}, url = {http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2012.html#GomesCV12}, year = 2012 }