{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:02:36Z","timestamp":1740099756297,"version":"3.37.3"},"reference-count":13,"publisher":"IEEE","funder":[{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,28]]},"DOI":"10.23919\/mipro48935.2020.9245154","type":"proceedings-article","created":{"date-parts":[[2020,11,6]],"date-time":"2020-11-06T21:51:34Z","timestamp":1604699494000},"page":"1151-1156","source":"Crossref","is-referenced-by-count":2,"title":["On Checking Controllability of Specification Languages for DES"],"prefix":"10.23919","author":[{"given":"Artem","family":"Davydov","sequence":"first","affiliation":[]},{"given":"Aleksandr","family":"Larionov","sequence":"additional","affiliation":[]},{"given":"Nadezhda","family":"Nagul","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411611070054"},{"key":"ref11","first-page":"1023","article-title":"The calculus of positively constructed formulas, its features, strategies and implementation","volume":"2013","author":"larionov","year":"2013","journal-title":"International Convention on Information and Communication Technology Electronics and Microelectronics (MIPRO)"},{"key":"ref12","first-page":"29","article-title":"Pcf-based formalization of the parallel composition of automata","volume":"2430","author":"davydov","year":"2019","journal-title":"Proceedings of the 1st International Workshop on Information Computation and Control Systems for Distributed Environments ICCS-DE 2019"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2018.8400172"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2017.7973599"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(90)90042-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1063\/1.5081541"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-053018-023659"},{"journal-title":"Intelligent Control of Dynamic Systems","year":"2000","author":"zherlov","key":"ref9"}],"event":{"name":"2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)","start":{"date-parts":[[2020,9,28]]},"location":"Opatija, Croatia","end":{"date-parts":[[2020,10,2]]}},"container-title":["2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9245088\/9245075\/09245154.pdf?arnumber=9245154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T05:11:05Z","timestamp":1610514665000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9245154\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,28]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/mipro48935.2020.9245154","relation":{},"subject":[],"published":{"date-parts":[[2020,9,28]]}}}