iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ijcar/BozecPPS24.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/ijcar/BozecPPS24 AU - Bozec, Tanguy AU - Peltier, Nicolas AU - Petitjean, Quentin AU - Sighireanu, Mihaela TI - What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? BT - Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II SP - 157 EP - 175 PY - 2024// DO - 10.1007/978-3-031-63501-4_9 UR - https://doi.org/10.1007/978-3-031-63501-4_9 ER -