Gast ::
Towards Concurrent Quantitative Separation Logic
; ;
2022
Online
DOI: 10.18154/RWTH-2022-08799
DOI: 10.48550/ARXIV.2207.02822
URL: https://publications.rwth-aachen.de/record/853375/files/853375.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
OpenAccess: 
PDF
Externer link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2207.02822
Interne Identnummern
RWTH-2022-08799
Datensatz-ID: 853375
Beteiligte Länder
Germany
Related:
Contribution to a book/Contribution to a conference proceedings
Towards Concurrent Quantitative Separation Logic
33rd International Conference on Concurrency Theory (CONCUR 2022) / Herausgeber: Bartek Klin, Slawomir Lasota, Anca Muscholl
33. International Conference on Concurrency Theory, CONCUR 2022, WarsawWarsaw, Poland, 13 Sep 2022 - 16 Sep 2022
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs - Leibniz International Proceedings in Informatics 243, 25:1-25:24 (2022) [10.4230/LIPICS.CONCUR.2022.25]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
; 
|
The record appears in these collections: |