{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:45:59Z","timestamp":1730195159155,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/aiccsa.2008.4493617","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T17:37:07Z","timestamp":1209404227000},"page":"793-800","source":"Crossref","is-referenced-by-count":2,"title":["A modular state exploration and compatibility checking of UML dynamic diagrams"],"prefix":"10.1109","author":[{"given":"Youcef","family":"Hammal","sequence":"first","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"13"},{"key":"11","article-title":"stubborn sets for reduced state space generation","volume":"483","author":"valmari","year":"1990","journal-title":"LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"journal-title":"Unified Modeling Language Superstructure version 2 0","year":"2004","key":"10"},{"key":"7","article-title":"properties as processes: their specification and verification","volume":"4229","author":"kelso","year":"2006","journal-title":"LNCS"},{"key":"6","first-page":"309","volume":"180","author":"holzmann","year":"2000","journal-title":"Software Model Checking"},{"key":"5","article-title":"branching time semantics for uml 2.0 sequence diagrams","volume":"4229","author":"hammal","year":"2006","journal-title":"LNCS"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40911-4_23"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/11589976_20"}],"event":{"name":"2008 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2008,3,31]]},"location":"Doha, Qatar","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4488216\/4493499\/04493617.pdf?arnumber=4493617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:23:51Z","timestamp":1489677831000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4493617\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2008.4493617","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}