{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T18:10:14Z","timestamp":1725127814326},"reference-count":0,"publisher":"PTI","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2023f8794","type":"proceedings-article","created":{"date-parts":[[2023,10,11]],"date-time":"2023-10-11T19:07:11Z","timestamp":1697051231000},"page":"65-74","source":"Crossref","is-referenced-by-count":0,"title":["Formal verification of BPMN diagrams  in Integrated Model of Distributed Systems (IMDS)"],"prefix":"10.15439","volume":"37","author":[{"given":"Wiktor","family":"Daszczuk","sequence":"first","affiliation":[]},{"given":"Jakub","family":"Ja\u0142owiec","sequence":"additional","affiliation":[]}],"member":"6175","published-online":{"date-parts":[[2023,10,11]]},"event":{"name":"18th Conference on Computer Science and Intelligence Systems","start":{"date-parts":[[2023,9,17]]},"end":{"date-parts":[[2023,9,20]]},"acronym":"FedCSIS 2023"},"container-title":["Annals of Computer Science and Information Systems","Communication Papers of the 18th Conference on Computer Science and Intelligence Systems"],"original-title":[],"deposited":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T17:06:08Z","timestamp":1725123968000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_37\/drp\/8794.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2023f8794","relation":{},"ISSN":["2300-5963"],"issn-type":[{"type":"print","value":"2300-5963"}],"subject":[],"published":{"date-parts":[[2023,10,11]]}}}