{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:00:02Z","timestamp":1730224802134,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hcc.2003.1260229","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T20:05:44Z","timestamp":1089317144000},"page":"198-200","source":"Crossref","is-referenced-by-count":1,"title":["SSR : Statechart with shared resources"],"prefix":"10.1109","author":[{"family":"Sung-Ho Jang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ki-Seok Bang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jin-Young Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"2","article-title":"VERSA: Verification. Execution and Rewrite System for ACSR","author":"clarke","year":"1996","journal-title":"Real-time Group Report"},{"key":"1","article-title":"A Process algebraic method for the specification and analysis of real-time systems","author":"choi","year":"1996","journal-title":"Formal Methods for Real-Time Computing"},{"key":"7","article-title":"Equivalence Checking of Two Statechart Specifications","author":"park","year":"2000","journal-title":"Proceeding of RSP 2000"},{"key":"6","article-title":"Statecharts Via Process Algebra","volume":"1664","author":"luttgen","year":"1999","journal-title":"LNCS"},{"journal-title":"The Statechart with Shared Resources and Process Algebraic Semantics","year":"2003","author":"jang","key":"5"},{"key":"4","volume":"5","author":"heitmeyer","year":"1996","journal-title":"Formal Methods for Real-Time Computing Trends in Software Series"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014994"},{"key":"8","article-title":"A Process Algebraic Semantics for Statecharts via State Refinement","author":"uselton","year":"1994","journal-title":"PROCOMET"}],"event":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. 2003","location":"Auckland, New Zealand"},"container-title":["IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8908\/28166\/01260229.pdf?arnumber=1260229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T01:31:53Z","timestamp":1489541513000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1260229\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/hcc.2003.1260229","relation":{},"subject":[]}}