{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:05:16Z","timestamp":1725707116088},"reference-count":0,"publisher":"KSI Research Inc.","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7,7]]},"DOI":"10.18293\/dmsviva20-007","type":"proceedings-article","created":{"date-parts":[[2020,8,17]],"date-time":"2020-08-17T19:32:04Z","timestamp":1597692724000},"page":"7-12","source":"Crossref","is-referenced-by-count":3,"title":["Better State Pictures Facilitating State Machine Characteristic Conjecture"],"prefix":"10.18293","volume":"2020","author":[{"given":"Duy-Dang","family":"Bui","sequence":"first","affiliation":[]},{"given":"Kazuhiro","family":"Ogata","sequence":"additional","affiliation":[]}],"member":"7672","published-online":{"date-parts":[[2020,7,7]]},"event":{"name":"The 26th International Conference on Distributed Multimedia Systems","acronym":"DMSVIVA2020"},"container-title":["International Conferences on Distributed Multimedia Systems","Proceedings of the 26th International Conference on Distributed Multimedia Systems"],"original-title":[],"deposited":{"date-parts":[[2020,8,17]],"date-time":"2020-08-17T19:32:06Z","timestamp":1597692726000},"score":1,"resource":{"primary":{"URL":"http:\/\/ksiresearchorg.ipage.com\/seke\/dmsviva20paper\/paper007.pdf"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18293\/dmsviva20-007","relation":{},"ISSN":["2326-3261"],"issn-type":[{"type":"print","value":"2326-3261"}],"subject":[],"published":{"date-parts":[[2020,7,7]]}}}