{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T19:31:06Z","timestamp":1673638266514},"reference-count":0,"publisher":"Inderscience Publishers","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJBIDM"],"published-print":{"date-parts":[[2013]]},"DOI":"10.1504\/ijbidm.2013.055786","type":"journal-article","created":{"date-parts":[[2013,8,9]],"date-time":"2013-08-09T11:30:12Z","timestamp":1376047812000},"page":"74","source":"Crossref","is-referenced-by-count":2,"title":["Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform"],"prefix":"10.1504","volume":"8","author":[{"given":"Andreu Pere Isern","family":"Dey\u00e0","sequence":"first","affiliation":[]},{"given":"M. Magdalena Payeras","family":"Capell\u00e0","sequence":"additional","affiliation":[]},{"given":"Maci\u00e0 Mut","family":"Puigserver","sequence":"additional","affiliation":[]},{"given":"Josep Lluis Ferrer","family":"Gomila","sequence":"additional","affiliation":[]},{"given":"Lloren\u00e7 Huguet","family":"Rotger","sequence":"additional","affiliation":[]}],"member":"378","container-title":["International Journal of Business Intelligence and Data Mining"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,8,9]],"date-time":"2013-08-09T11:30:13Z","timestamp":1376047813000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=55786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013]]}},"URL":"https:\/\/doi.org\/10.1504\/ijbidm.2013.055786","relation":{},"ISSN":["1743-8187","1743-8195"],"issn-type":[{"value":"1743-8187","type":"print"},{"value":"1743-8195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}