{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T23:51:49Z","timestamp":1725407509361},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/wodes.2016.7497819","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T07:36:10Z","timestamp":1466840170000},"page":"8-13","source":"Crossref","is-referenced-by-count":5,"title":["A new algorithm for computing the supremal relatively observable sublanguage"],"prefix":"10.1109","author":[{"given":"Kai","family":"Cai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5058-9_54"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.402"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(90)90004-E"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551361"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2341891"}],"event":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","start":{"date-parts":[[2016,5,30]]},"location":"Xi'an, China","end":{"date-parts":[[2016,6,1]]}},"container-title":["2016 13th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7493813\/7497815\/07497819.pdf?arnumber=7497819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T20:48:51Z","timestamp":1475182131000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7497819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/wodes.2016.7497819","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}