Towards Concurrent Quantitative Separation Logic
Fesefeldt, Ira Justus ; Katoen, Joost-Pieter ; Noll, Thomas 2022 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1267794194
- Titel
-
Towards Concurrent Quantitative Separation Logic
- Art des Inhalts
- Monographie
- Verfassangaben
- Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll
- Autor(en)
-
- Fesefeldt, Ira Justus
- Katoen, Joost-Pieter
- Noll, Thomas
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2022]
- Jahr
- Erscheinungsdatum: 2022
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2022-08746
- Online
- https://doi.org/10.18154/RWTH-2022-08746
- Sprache
- eng
- Anmerkungen
-
In: 10.4230/LIPICS.CONCUR.2022.25
- Stand
- 04.12.2025 09:59
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
