h1

001029282 001__ 1029282
001029282 005__ 20260225050101.0
001029282 0247_ $$2ISBN$$a978-3-031-90896-5
001029282 0247_ $$2ISBN$$a978-3-031-90897-2
001029282 0247_ $$2ISSN$$a0302-9743
001029282 0247_ $$2ISSN$$a1611-3349
001029282 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105004795675
001029282 0247_ $$2datacite_doi$$a10.18154/RWTH-2026-02195
001029282 0247_ $$2doi$$a10.1007/978-3-031-90897-2_9
001029282 0247_ $$2openalex$$aopenalex:W4409970572
001029282 037__ $$aRWTH-2026-02195
001029282 041__ $$aEnglish
001029282 1001_ $$0P:(DE-82)IDM04047$$aBatz, Kevin$$b0$$eCorresponding author$$urwth
001029282 1112_ $$aFoundations of Software Science and Computation Structures : 28. International Conference, FoSSaCS 2025$$cHamilton, ON$$d2025-05-03 - 2025-05-08$$gFoSSaCS 2025$$wCanada
001029282 245__ $$aQuantifier Elimination and Craig Interpolation: The Quantitative Way$$honline
001029282 260__ $$aCham$$bSpringer Nature Switzerland$$c2025
001029282 29510 $$aFoundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings / edited by Parosh Aziz Abdulla, Delia Kesner
001029282 300__ $$a176-197
001029282 3367_ $$07$$2EndNote$$aBook Section
001029282 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$bcontb$$mcontb
001029282 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
001029282 3367_ $$2BibTeX$$aINBOOK
001029282 3367_ $$2DRIVER$$abookPart
001029282 3367_ $$2DataCite$$aOutput Types/Book chapter
001029282 3367_ $$2ORCID$$aBOOK_CHAPTER
001029282 4900_ $$aLecture Notes in Computer Science$$v15691
001029282 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
001029282 591__ $$aGermany
001029282 591__ $$aUK
001029282 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$urwth
001029282 7001_ $$0P:(DE-82)1029287$$aOrhan, Nora$$b2$$urwth
001029282 7112_ $$aInternational Joint Conferences on Theory and Practice of Software$$cHamilton, ON$$d2025-05-03 - 2025-05-08$$gETAPS 2025$$wCanada
001029282 8564_ $$uhttps://publications.rwth-aachen.de/record/1029282/files/1029282.pdf$$yOpenAccess
001029282 909CO $$ooai:publications.rwth-aachen.de:1029282$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
001029282 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04047$$aRWTH Aachen$$b0$$kRWTH
001029282 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
001029282 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)1029287$$aRWTH Aachen$$b2$$kRWTH
001029282 9141_ $$y2025
001029282 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001029282 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2025-11-06
001029282 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2025-11-06$$wger
001029282 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001029282 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001029282 961__ $$c2026-02-24T09:10:30.441963$$x2026-02-24T09:10:30.441963$$z2026-02-24T09:10:30.441963
001029282 9801_ $$aFullTexts
001029282 980__ $$aI:(DE-82)121310_20140620
001029282 980__ $$aUNRESTRICTED
001029282 980__ $$aVDB
001029282 980__ $$acontb
001029282 980__ $$acontrib