{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:21:33Z","timestamp":1648830093425},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T00:00:00Z","timestamp":1552867200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10009-019-00515-5","type":"journal-article","created":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T12:03:15Z","timestamp":1552910595000},"page":"247-248","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to Selected Papers from SPIN 2017"],"prefix":"10.1007","volume":"21","author":[{"given":"Hakan","family":"Erdogmus","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,18]]},"reference":[{"key":"515_CR1","doi-asserted-by":"publisher","unstructured":"Bloemen, V., Duret-Lutz, A., van\u00a0de Pol, J.: Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. (2019). \n                    https:\/\/doi.org\/10.1007\/s10009-019-00508-4","DOI":"10.1007\/s10009-019-00508-4"},{"key":"515_CR2","unstructured":"Erdogmus, H., Havelund, K. (eds.): SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, ACM, Santa Barbara, CA, USA (2017)"},{"key":"515_CR3","doi-asserted-by":"publisher","unstructured":"Fearnley, J., Jain, S., de Keijzer, B., Schewe, S., Stephan, F., Wojtczak, D.: An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. (2019). \n                    https:\/\/doi.org\/10.1007\/s10009-019-00509-3","DOI":"10.1007\/s10009-019-00509-3"},{"key":"515_CR4","doi-asserted-by":"crossref","unstructured":"Hua, J., Zhang, Y., Zhang, Y., Khurshid, S.: EdSketch: execution-driven sketching for Java. Int. J. Softw. Tools Technol. Transf. STTT, in this issue (2019)","DOI":"10.1007\/s10009-019-00512-8"},{"key":"515_CR5","doi-asserted-by":"publisher","unstructured":"Kokologiannakis, M., Sagonas, K.: Stateless model checking of the Linux kernel\u2019s Read-Copy-Update (RCU). Int. J. Softw. Tools Technol. Transf. (2019). \n                    https:\/\/doi.org\/10.1007\/s10009-019-00514-6","DOI":"10.1007\/s10009-019-00514-6"},{"key":"515_CR6","doi-asserted-by":"publisher","unstructured":"Ratiu, D., Ulrich, A.: An integrated environment for Spin-based C code checking\u2014towards bringing model-driven code checking closer to practitioners. Int. J. Softw. Tools Technol. Transf. (2019). \n                    https:\/\/doi.org\/10.1007\/s10009-019-00510-w","DOI":"10.1007\/s10009-019-00510-w"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00515-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-019-00515-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00515-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T00:19:38Z","timestamp":1584404378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-019-00515-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,18]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["515"],"URL":"https:\/\/doi.org\/10.1007\/s10009-019-00515-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3,18]]},"assertion":[{"value":"18 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}