%0 Journal Article %1 journals/corr/abs-2201-11464 %A Batz, Kevin %A Fesefeldt, Ira %A Jansen, Marvin %A Katoen, Joost-Pieter %A Keßler, Florian %A Matheja, Christoph %A Noll, Thomas %D 2022 %J CoRR %K dblp %T Foundations for Entailment Checking in Quantitative Separation Logic (extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr2201.html#abs-2201-11464 %V abs/2201.11464

@article{journals/corr/abs-2201-11464, added-at = {2022-02-01T00:00:00.000+0100}, author = {Batz, Kevin and Fesefeldt, Ira and Jansen, Marvin and Katoen, Joost-Pieter and Keßler, Florian and Matheja, Christoph and Noll, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/24d77e142e1bc648646aac434f3b4ad6d/dblp}, ee = {https://arxiv.org/abs/2201.11464}, interhash = {7040ccd0f9c74934da1a74df08d381a5}, intrahash = {4d77e142e1bc648646aac434f3b4ad6d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:26:03.000+0200}, title = {Foundations for Entailment Checking in Quantitative Separation Logic (extended version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2201.html#abs-2201-11464}, volume = {abs/2201.11464}, year = 2022 }