{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:29:25Z","timestamp":1743013765638,"version":"3.40.3"},"publisher-location":"Cham","reference-count":5,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031757778"},{"type":"electronic","value":"9783031757785"}],"license":[{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75778-5_23","type":"book-chapter","created":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T12:09:32Z","timestamp":1731845372000},"page":"487-500","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Making ETAPS Gold Open Access"],"prefix":"10.1007","author":[{"given":"Holger","family":"Hermanns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,18]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","unstructured":"Dufour, Q., Pontille, D., Torny, D.: Supporting diamond open access journals: Interest and feasibility of direct funding mechanisms. Nordic Journal of Library and Information Studies 4(2), 35\u201355 (Dec 2023). https:\/\/doi.org\/10.7146\/njlis.v4i2.140344, https:\/\/tidsskrift.dk\/njlis\/article\/view\/140344","DOI":"10.7146\/njlis.v4i2.140344"},{"key":"23_CR2","unstructured":"Herbstritt, M., Thomas, W.: LIPIcs \u2013 an Open-Access Series for International Conference Proceedings. ERCIM News 2016(107) (2016), https:\/\/ercim-news.ercim.eu\/en107\/r-s\/lipics-an-open-access-series-for-international-conference-proceedings"},{"key":"23_CR3","unstructured":"Katoen, J.P., Hermanns, H., D\u2019Argenio, P.R., Sassone, V., Steffen, B., Sanella, D., Palamidessi, C., Chatzikokolakis, K.: The Winchester Manifesto: Etaps future publication strategy (June 2016), URL TODO"},{"key":"23_CR4","doi-asserted-by":"publisher","unstructured":"Suber, P.: Open Access. MIT Press Essential Knowledge, MIT Press, Cambridge, Massachusetts (2012). https:\/\/doi.org\/10.7551\/mitpress\/9286.001.0001, https:\/\/mitpress.mit.edu\/books\/open-access","DOI":"10.7551\/mitpress\/9286.001.0001"},{"key":"23_CR5","doi-asserted-by":"publisher","unstructured":"Tennant, J., Waldner, F., Jacques, D., Masuzzo, P., Collister, L., Hartgerink, C.: The academic, economic and societal impacts of open access: an evidence-based review [version 3; peer review: 4 approved, 1 approved with reservations]. F1000Research 5(632) (2016). https:\/\/doi.org\/10.12688\/f1000research.8460.3","DOI":"10.12688\/f1000research.8460.3"}],"container-title":["Lecture Notes in Computer Science","Principles of Verification: Cycling the Probabilistic Landscape"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75778-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T13:03:33Z","timestamp":1731848613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75778-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,18]]},"ISBN":["9783031757778","9783031757785"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75778-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,18]]},"assertion":[{"value":"18 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}