{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:30Z","timestamp":1750307010250,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T00:00:00Z","timestamp":1348963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,30]]},"DOI":"10.1145\/2428516.2428526","type":"proceedings-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:43:47Z","timestamp":1357919027000},"page":"55-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Transformation rules from UML4MBT meta-model to SMT meta-model for model animation"],"prefix":"10.1145","author":[{"given":"J\u00e9r\u00f4me","family":"Cantenot","sequence":"first","affiliation":[{"name":"University of Franche-Comt\u00e9, France"}]},{"given":"Fabrice","family":"Ambert","sequence":"additional","affiliation":[{"name":"University of Franche-Comt\u00e9, France"}]},{"given":"Fabrice","family":"Bouquet","sequence":"additional","affiliation":[{"name":"University of Franche-Comt\u00e9, France"}]}],"member":"320","published-online":{"date-parts":[[2012,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","volume-title":"Model Driven Engineering Languages and Systems","author":"Anastasakis K.","year":"2007","unstructured":"K. Anastasakis , B. Bordbar , G. Georg , and I. Ray . Model Driven Engineering Languages and Systems , volume 4735 of LNCS . Springer , Berlin , 2007 . K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. Model Driven Engineering Languages and Systems, volume 4735 of LNCS. Springer, Berlin, 2007."},{"key":"e_1_3_2_1_2_1","volume-title":"The SMT-LIB Standard Version 2.0","author":"Barrett C.","year":"2010","unstructured":"C. Barrett , A. Stump , and C. Tinelli . The SMT-LIB Standard Version 2.0 . 2010 . C. Barrett, A. Stump, and C. Tinelli. The SMT-LIB Standard Version 2.0. 2010."},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-540-73368-3_34","volume-title":"Computer Aided Verification","author":"Barrett C.","year":"2007","unstructured":"C. Barrett and C. Tinelli . Cvc3 . In W. Damm and H. Hermanns, editors, Computer Aided Verification , volume 4590 of LNCS , pages 298 -- 302 . Springer , 2007 . C. Barrett and C. Tinelli. Cvc3. In W. Damm and H. Hermanns, editors, Computer Aided Verification, volume 4590 of LNCS, pages 298--302. Springer, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291545"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_6_1","first-page":"24","article-title":"Checking unsatisfiability for ocl constraints","author":"Clavel M.","year":"2009","unstructured":"M. Clavel , M. Egea , and M. A. G. de Dios . Checking unsatisfiability for ocl constraints . ECEASST , 24 , 2009 . M. Clavel, M. Egea, and M. A. G. de Dios. Checking unsatisfiability for ocl constraints. ECEASST, 24, 2009.","journal-title":"ECEASST"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274706"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/785409.785824"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0172-x"},{"key":"e_1_3_2_1_12_1","volume-title":"The smt-lib standard: Version 1.2. Department of Computer Science","author":"Ranise S.","year":"2006","unstructured":"S. Ranise and C. Tinelli . The smt-lib standard: Version 1.2. Department of Computer Science , The University of Iowa , Tech . Rep, 2006 . S. Ranise and C. Tinelli. The smt-lib standard: Version 1.2. Department of Computer Science, The University of Iowa, Tech. Rep, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2237796.2237812"}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 12th Workshop on OCL and Textual Modelling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2428516.2428526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2428516.2428526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:01Z","timestamp":1750236541000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2428516.2428526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,30]]},"references-count":13,"alternative-id":["10.1145\/2428516.2428526","10.1145\/2428516"],"URL":"https:\/\/doi.org\/10.1145\/2428516.2428526","relation":{},"subject":[],"published":{"date-parts":[[2012,9,30]]},"assertion":[{"value":"2012-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}