{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:20:29Z","timestamp":1729675229226,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2003.1239834","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"1673-1678","source":"Crossref","is-referenced-by-count":4,"title":["Blocking detection in discrete event systems"],"prefix":"10.1109","volume":"2","author":[{"given":"S.","family":"Abdelwahed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Computers and Intractability A Guide to the Theory of NP Completeness","year":"1979","author":"garey","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.489078"},{"journal-title":"Interacting Discrete Event Systems Modelling Verification and Supervisory Control","year":"2002","author":"abdelwahed","key":"1"},{"journal-title":"Decentralized Control of Discrete Event Systems","year":"1992","author":"rudie","key":"7"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems 92 of LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(89)90004-X"},{"journal-title":"Partial-Order Methods for the Verification of Concurrent Systems","year":"1994","author":"godefroid","key":"4"},{"journal-title":"Notes on Control of Discrete-Event Systems","year":"2002","author":"wonham","key":"8"}],"event":{"name":"2003 American Control Conference, 2003.","acronym":"ACC-03","location":"Denver, Colorado, USA"},"container-title":["Proceedings of the 2003 American Control Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8775\/27786\/01239834.pdf?arnumber=1239834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:16:26Z","timestamp":1497600986000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1239834\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/acc.2003.1239834","relation":{},"subject":[]}}