guest ::
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