{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:52:37Z","timestamp":1729630357449,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428603","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"38-44 Vol.1","source":"Crossref","is-referenced-by-count":7,"title":["Symmetry reductions for a class of discrete-event systems"],"prefix":"10.1109","author":[{"given":"K.","family":"Rohloff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428603"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1080\/00207178608933645"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2003.1273027","article-title":"The control and verification of similar agents operating in a broadcast network","author":"rohloff","year":"2003","journal-title":"Proc 42nd IEEE Conf on Decision and Control"},{"key":"12","article-title":"Supervisor existence for modular discrete-event systems","author":"rohloff","year":"2003","journal-title":"Proc IFAC Conf Control Syst Design"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625970"},{"journal-title":"Model checking","year":"2002","author":"clarke","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184460"},{"key":"7","volume":"132","author":"huffman","year":"1982","journal-title":"Graph Isomorphism and Permutation Groups LNCS"},{"journal-title":"Topics in Algebra","year":"1982","author":"herstein","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875441"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.948486"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1991.187347"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1080\/00207179008953606"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30836\/01428603.pdf?arnumber=1428603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:44:38Z","timestamp":1557765878000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428603\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428603","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}