{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:09:23Z","timestamp":1725548963530},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693062","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:07:25Z","timestamp":1389010045000},"page":"15-25","source":"Crossref","is-referenced-by-count":2,"title":["Constraint-based automatic symmetry detection"],"prefix":"10.1109","author":[{"given":"Shao Jie","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Chengnian","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Junwei","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"GAP - Groups Algorithms and Programming","year":"2012","key":"19"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0131-x"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625970"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.77.066108"},{"key":"18","article-title":"Self-stabilizing leader election in networks of finite-state anonymous agents","author":"fischer","year":"2006","journal-title":"OPODIS'06"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_43"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9171-4"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.3390\/sym2020799"},{"key":"16","article-title":"Scheduling social golfers locally","author":"dotu?","year":"2005","journal-title":"CPAIOR'05"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_32"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9107-4"},{"journal-title":"Symmetry Detection for Model Checking","year":"2013","author":"zhang","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391509"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_5"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(01)00005-4"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625968"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0111-x"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/11604655_56"},{"journal-title":"Verification of Sequential and Concurrent Programs","year":"1991","author":"krzysztof","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2008.04.008"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"29","first-page":"475","article-title":"Automatic detection of variable and value symmetries","author":"puget","year":"2005","journal-title":"CP"},{"key":"3","article-title":"Formalization of properties of parallel programs","author":"ashcroft","year":"1970","journal-title":"Machine Intelligence"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1452001.1452003"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_6"},{"year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/350887.350891"},{"key":"7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BFb0028741","article-title":"Symmetry reductions in model checking","author":"clarke","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"6","article-title":"Stabilizing token schemes for population protocols","author":"davide","year":"2008","journal-title":"CoRR"},{"key":"32","first-page":"709","article-title":"PAT: Towards flexible verification under fairness","author":"sun","year":"2009","journal-title":"CAV"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_30"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.33"},{"key":"4","first-page":"1","article-title":"Symmetric spin","author":"bosnacki","year":"2000","journal-title":"SPIN"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-006-8059-8"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"8"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693062.pdf?arnumber=6693062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:23:01Z","timestamp":1498094581000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693062\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693062","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}