{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:19:36Z","timestamp":1740107976473,"version":"3.37.3"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T00:00:00Z","timestamp":1627689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T00:00:00Z","timestamp":1627689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/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":[[2022,2]]},"DOI":"10.1007\/s10009-021-00642-y","type":"journal-article","created":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T08:02:56Z","timestamp":1627718576000},"page":"29-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2746-8792","authenticated-orcid":false,"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3692-2088","authenticated-orcid":false,"given":"Lijun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,31]]},"reference":[{"key":"642_CR1","doi-asserted-by":"publisher","unstructured":"Vojnar, T., Zhang, L. (eds.): Tools and Algorithms for the Construction and Analysis of Systems\u201425th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings, Part I, LNCS 11427. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0","DOI":"10.1007\/978-3-030-17462-0"},{"key":"642_CR2","doi-asserted-by":"publisher","unstructured":"Vojnar, T., Zhang, L. (eds.): Tools and Algorithms for the Construction and Analysis of Systems\u201425th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings, Part II, LNCS 11428. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1","DOI":"10.1007\/978-3-030-17465-1"},{"key":"642_CR3","unstructured":"Stoilkovska, I., Konnov, I., Widder, J., Zuleger, F.: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. Int. J. Softw. Tools Technol. Transf. (this issue)"},{"key":"642_CR4","unstructured":"Enevoldsen, S., Larsen, K., Srba, J.: Extended Abstract Dependency Graphs. Int. J. Softw. Tools Technol. Transf. (this issue)"},{"key":"642_CR5","unstructured":"Vukmirovic, P., Blanchette, J., Cruanes, S., Schulz, S.: Extending a Brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. (this issue)"},{"key":"642_CR6","unstructured":"Babar, J., Ciardo, G., Miner, A.: CESRBDDs: Binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. (this issue)"},{"key":"642_CR7","unstructured":"Blicha, M., Hyvarinen, A., Kofron, J., Sharygina, N.: Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. (this issue)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00642-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-021-00642-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00642-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,15]],"date-time":"2022-03-15T16:15:43Z","timestamp":1647360943000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-021-00642-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,31]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["642"],"URL":"https:\/\/doi.org\/10.1007\/s10009-021-00642-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2021,7,31]]},"assertion":[{"value":"20 July 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}