{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T20:17:41Z","timestamp":1698869861612},"reference-count":0,"publisher":"International Academy Publishing (IAP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.4.3.175-182","type":"journal-article","created":{"date-parts":[[2009,12,14]],"date-time":"2009-12-14T12:49:46Z","timestamp":1260794986000},"source":"Crossref","is-referenced-by-count":6,"title":["Efficient Algorithms for Verification of UML Statechart Models"],"prefix":"10.17706","volume":"4","author":[{"given":"C.M.","family":"Prashanth","sequence":"first","affiliation":[]},{"given":"K. Chandrashekhar","family":"Shet","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2009,5,1]]},"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:18:04Z","timestamp":1442330284000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.academypublisher.com\/ojs\/index.php\/jsw\/article\/view\/2014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,1]]},"references-count":0,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,5,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.4.3.175-182","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2009,5,1]]}}}