{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T12:07:45Z","timestamp":1765368465231,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316717","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"337-346","source":"Crossref","is-referenced-by-count":17,"title":["Symbolic model checking of UML statechart diagrams with an integrated approach"],"prefix":"10.1109","author":[{"given":"V.S.W.","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.1999.805074"},{"key":"17","first-page":"207","article-title":"The integration project for the JACK environment","volume":"54","author":"bouali","year":"1994","journal-title":"Bulletin of the EATCS"},{"key":"18","first-page":"48","article-title":"Consistent integration of formal methods","author":"braun","year":"2000","journal-title":"TACAS 2000"},{"key":"15","first-page":"430","article-title":"Formalising UML state machines for model checking","author":"lilius","year":"1999","journal-title":"UML'99"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(01)00012-1"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809474"},{"key":"11","article-title":"A structural approach to operational semantics","author":"plotkin","year":"1981","journal-title":"Tech Rep DAIMI FN-19"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"20"},{"journal-title":"Communicating and Mobile Systems The ?-Calculus","year":"1999","author":"milner","key":"22"},{"key":"23","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","article-title":"Action versus state based logics for transition systems","author":"de nicola","year":"1990","journal-title":"Semantics of Systems of Concurrent Processes"},{"journal-title":"SET Secure Electronic Transaction Books 1-3","year":"1997","key":"24"},{"key":"25","first-page":"80","article-title":"An agent-based secure internet payment system for mobile computing","author":"romao","year":"1998","journal-title":"Proceedings of TREC '98"},{"journal-title":"Formal Specification and Verification of the SET\/A Protocol with an Integrated Approach","year":"0","author":"lam","key":"26"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"10","first-page":"406","article-title":"Formalization of UML-statecharts","author":"von der beeck","year":"2001","journal-title":"UML 2001"},{"journal-title":"OMG Unified Modeling Language Specification Version 1 5","year":"2003","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2003.1260217"},{"key":"6","first-page":"428","article-title":"The mobility workbench: A tool for the ?-calculus","author":"victor","year":"1994","journal-title":"CAV '94"},{"journal-title":"Automated Equivalence Checking of UML Statechart Diagrams Using the MWB","year":"0","author":"lam","key":"5"},{"key":"4","first-page":"877","article-title":"On execution semantics of UML statechart diagrams using the ?-calculus","author":"lam","year":"2003","journal-title":"Proceedings of the International Conference on Software Engineering Research and Practice"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151240"},{"journal-title":"NuSMV 2 1 User Manual","year":"0","author":"cavada","key":"8"}],"event":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","location":"Brno, Czech Republic"},"container-title":["Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9203\/29178\/01316717.pdf?arnumber=1316717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:52Z","timestamp":1497613972000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316717\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316717","relation":{},"subject":[]}}