{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:45:18Z","timestamp":1743003918526,"version":"3.40.3"},"publisher-location":"Cham","reference-count":5,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319335995"},{"type":"electronic","value":"9783319336008"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33600-8_14","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T04:15:15Z","timestamp":1462853715000},"page":"231-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Unified Syntax for Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Dausend","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"given":"Atif","family":"Mashkoor","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Raschke","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Stegmaier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Experience 41, 155\u2013166 (2011)","journal-title":"Softw. Pract. Experience"},{"key":"14_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"14_CR3","unstructured":"Dausend, M., Stegmaier, M., Raschke, A.: Debugging abstract state machine specifications: an extension of coreASM. In: Proceedings of the Posters and Tool Demos Session, iFM 2012 and ABZ 2012. pp. 21\u201325 (2012)"},{"issue":"1\u20132","key":"14_CR4","first-page":"71","volume":"77","author":"R Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae 77(1\u20132), 71\u2013104 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"12","key":"14_CR5","first-page":"1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949\u20131983 (2008)","journal-title":"J. UCS"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33600-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T23:21:37Z","timestamp":1559431297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33600-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319335995","9783319336008"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33600-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"11 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}