{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:48:40Z","timestamp":1649022520354},"reference-count":16,"publisher":"Informa UK Limited","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Control"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1080\/00207170801888837","type":"journal-article","created":{"date-parts":[[2008,6,21]],"date-time":"2008-06-21T08:17:46Z","timestamp":1214036266000},"page":"1626-1644","source":"Crossref","is-referenced-by-count":2,"title":["Generalised projections in finite state automata and decidability of state determinacy"],"prefix":"10.1080","volume":"81","author":[{"given":"Ishanu","family":"Chattopadhyay","sequence":"first","affiliation":[]},{"given":"Asok","family":"Ray","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1080\/00207170701286322"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282235"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008339216603"},{"key":"CIT0004","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft JE","year":"2001","edition":"2"},{"key":"CIT0005","first-page":"301","volume":"19","author":"Jiang S","year":"2003","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.809144"},{"key":"CIT0007","volume-title":"Handbook of Theoretical Computer Sc.: Formal Models and Semantics","author":"Leeuwen JV","year":"1990"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90002-3"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"CIT0010","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory Control of Discrete Event Systems using Petri Nets","author":"Moody JO","year":"1998"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1080\/00207170500202447"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"CIT0014","first-page":"201","author":"Wong K","year":"1998","journal-title":"IEEE Workshop on Discrete Event Systems"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000005010.55515.27"},{"key":"CIT0016","volume-title":"Control of Discrete-event Systems","author":"Wonham W","year":"2001"}],"container-title":["International Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207170801888837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T03:56:04Z","timestamp":1557633364000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207170801888837"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":16,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["10.1080\/00207170801888837"],"URL":"https:\/\/doi.org\/10.1080\/00207170801888837","relation":{},"ISSN":["0020-7179","1366-5820"],"issn-type":[{"value":"0020-7179","type":"print"},{"value":"1366-5820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10]]}}}