http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Foundations for Entailment Checking in Quantitative Separation Logic

Batz, Kevin (Corresponding author)^RWTH* ; Fesefeldt, Ira Justus (Corresponding author)^RWTH* ; Jansen, Marvin^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Keßler, Florian^RWTH* ; Matheja, Christoph (Corresponding author) ; Noll, Thomas (Corresponding author)^RWTH*

In
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey, Seiten/Artikel-Nr: 57-84

2022

Konferenz/Event:31. European Symposium on Programming , online , ESOP 2022 , 2022-04-02 - 2022-04-07

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , online , ETAPS 2022 , 2022-04-02 - 2022-04-07

ImpressumCham : Springer International Publishing

Umfang57-84

ISBN978-3-030-99335-1, 978-3-030-99336-8, 978-3-030-99337-5

ReiheLecture Notes in Computer Science ; 13240

Weitere Reihe: Springer eBook Collection : Computer Science

Online
DOI: 10.1007/978-3-030-99336-8_3
10.1007/978-3-030-99336-8_3
DOI: 10.18154/RWTH-2022-03408
URL: https://publications.rwth-aachen.de/record/843799/files/843799.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:000783774400003
SCOPUS: SCOPUS:2-s2.0-85128637321
OpenAlex: W4226360391

Interne Identnummern
RWTH-2022-03408
Datensatz-ID: 843799

Beteiligte Länder
Denmark, Germany, Switzerland