%0 Conference Paper %1 conf/fsttcs/DemriLL17 %A Demri, Stéphane %A Lozes, Étienne %A Lugiez, Denis %B FSTTCS %D 2017 %E Lokam, Satya V. %E Ramanujam, R. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 25:1-25:14 %T On Symbolic Heaps Modulo Permission Theories. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2017.html#DemriLL17 %V 93 %@ 978-3-95977-055-2

@inproceedings{conf/fsttcs/DemriLL17, added-at = {2018-08-23T00:00:00.000+0200}, author = {Demri, Stéphane and Lozes, Étienne and Lugiez, Denis}, biburl = {https://www.bibsonomy.org/bibtex/2d6c0a630717619e2597bd811dc5d606b/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2017}, editor = {Lokam, Satya V. and Ramanujam, R.}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.25}, interhash = {4bfdd42b61db1550dd5f7598f5f0db3d}, intrahash = {d6c0a630717619e2597bd811dc5d606b}, isbn = {978-3-95977-055-2}, keywords = {dblp}, pages = {25:1-25:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T01:21:25.000+0200}, title = {On Symbolic Heaps Modulo Permission Theories.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2017.html#DemriLL17}, volume = 93, year = 2017 }