Towards Concurrent Quantitative Separation Logic
Fesefeldt, Ira Justus; Katoen, Joost-Pieter; Noll, Thomas
(2022)
Preprint
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.18154/RWTH-2022-08799
- arXiv: arXiv:2207.02822
- RWTH PUBLICATIONS: RWTH-2022-08799