{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:03:35Z","timestamp":1729674215518,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/hpcsim.2012.6266935","type":"proceedings-article","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T10:48:48Z","timestamp":1345632528000},"page":"343-349","source":"Crossref","is-referenced-by-count":1,"title":["Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions"],"prefix":"10.1109","author":[{"given":"Pedro","family":"de Carvalho Gomes","sequence":"first","affiliation":[]},{"given":"Sergio Vale Aguiar","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Alex Borges","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MMSP.2005.248686"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"17"},{"journal-title":"NuSMV 2 4 User Manual","year":"2005","author":"cavada","key":"18"},{"key":"15","first-page":"19","article-title":"Model Checking the Pastry Routing Protocol","author":"lu","year":"2010","journal-title":"10th International Workshop Automated Verification of Critical Systems"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/11560647_4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-2246-x"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.052"},{"key":"11","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-48153-2_12","article-title":"From asymmetry to full symmetry: New techniques for symmetry reduction in model checking","author":"emerson","year":"1999","journal-title":"Conference on Correct Hardware Design and Verification Methods"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1011508.1011511"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244800"},{"key":"2","first-page":"76","article-title":"Tearing based automatic abstraction for ctl model checking","author":"lee","year":"1996","journal-title":"ICCAD '96 Proceedings of the 1996 IEEE\/ACM international conference on Computer-aided design"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11784180_29"},{"key":"7","article-title":"Symmetry and model checking","volume":"697","author":"emerson","year":"1993","journal-title":"International Conference on Computer-Aided Verification"},{"key":"6","first-page":"97","article-title":"Better verification through symmetry","author":"ip","year":"1993","journal-title":"CHDL '93 Proceedings of the 11th IFIP WG10 2 International Conference Sponsored by IFIP WG10 2 and in Cooperation with IEEE COMPSOC on Computer Hardware Description Languages and Their Applications Amsterdam the Netherlands"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0092-z"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1132960.1132962"},{"journal-title":"Symmetry and Induction in Model Checking","year":"1996","author":"jha","key":"8"}],"event":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","start":{"date-parts":[[2012,7,2]]},"location":"Madrid, Spain","end":{"date-parts":[[2012,7,6]]}},"container-title":["2012 International Conference on High Performance Computing & Simulation (HPCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6260982\/6266874\/06266935.pdf?arnumber=6266935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:09:13Z","timestamp":1497985753000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6266935\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/hpcsim.2012.6266935","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}