@inproceedings{IRV4a,
title = { Deciding Entailments in Inductive Separation Logic with Tree Automata },
author = {Iosif, Radu and Rogalewicz, Adam and Vojnar, Tom{\'a}s},
year = {2014},
booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings},
crossref = {DBLP:conf/atva/2014},
pages = {201--218},
team = {PACSS},
timestamp = {Fri, 02 Nov 2018 09:35:17 +0100},
biburl = {https://dblp.org/rec/bib/conf/atva/IosifRV14},
bibsource = {dblp computer science bibliography, https://dblp.org},
}