{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T05:28:19Z","timestamp":1734154099581,"version":"3.30.2"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2017f308","type":"proceedings-article","created":{"date-parts":[[2017,9,24]],"date-time":"2017-09-24T20:49:44Z","timestamp":1506286184000},"page":"295-302","source":"Crossref","is-referenced-by-count":1,"title":["Overview of Verification Tools for Business Process Models"],"prefix":"10.15439","volume":"13","author":[{"given":"Anna Suchenia","family":"(Mroczek)","sequence":"first","affiliation":[]},{"given":"Piotr","family":"Wi\u015bniewski","sequence":"additional","affiliation":[]},{"given":"Antoni","family":"Lig\u0119za","sequence":"additional","affiliation":[]}],"member":"6175","published-online":{"date-parts":[[2017,9,24]]},"event":{"name":"2017 Federated Conference on Computer Science and Information Systems","start":{"date-parts":[[2017,9,3]]},"end":{"date-parts":[[2017,9,6]]},"acronym":"FedCSIS 2017"},"container-title":["Annals of Computer Science and Information Systems","Communiation Papers of the 2017 Federated Conference on Computer Science and Information Systems"],"original-title":[],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T21:07:37Z","timestamp":1734124057000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_13\/drp\/308.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,24]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2017f308","relation":{},"ISSN":["2300-5963"],"issn-type":[{"type":"print","value":"2300-5963"}],"subject":[],"published":{"date-parts":[[2017,9,24]]}}}