Foundations for entailment checking in quantitative separation logic
The work
| Title | Foundations for entailment checking in quantitative separation logic |
|---|---|
| Authors | Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll |
| Type | conference paper |
| Year | 2022 |
| Citekey | batz2022foundations |
Where it appeared
| Published in | 31st European Symposium on Programming (ESOP) |
|---|---|
| Publisher | Springer |
| Volume | 13240 |
| Pages | 57--84 |
Identifiers
| DOI | 10.1007/978-3-030-99336-8_3 |
|---|
Copy held
| Kind | PDF, 480.6 kB |
|---|---|
| Retrieved | 2026-08-06 |
| Held | local, for personal reference |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{batz2022foundations,
title = {Foundations for entailment checking in quantitative separation logic},
author = {Kevin Batz and Ira Fesefeldt and Marvin Jansen and Joost-Pieter Katoen and Florian Keßler and Christoph Matheja and Thomas Noll},
year = {2022},
booktitle = {31st European Symposium on Programming (ESOP)},
volume = {13240},
pages = {57--84},
publisher = {Springer},
doi = {10.1007/978-3-030-99336-8_3},
}
This record lives at https://refs.drheap.org/batz2022foundations/ and will keep doing so.