Deciding Entailments in Inductive Separation Logic with Tree Automata. Iosif, R., Rogalewicz, A., & Vojnar, T. In Proceedings of Automated Technology for Verification and Analysis (ATVA), pages 201-218, 2014.
Paper bibtex @inproceedings{ dblp1945716,
title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
author = {Radu Iosif and Adam Rogalewicz and Tomás Vojnar},
author_short = {Iosif, R. and Rogalewicz, A. and Vojnar, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2014},
key = {dblp1945716},
id = {dblp1945716},
biburl = {http://www.dblp.org/rec/bibtex/conf/atva/IosifRV14},
url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},
conference = {ATVA},
pages = {201-218},
text = {ATVA 2014:201-218},
booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}
}
Downloads: 0
{"_id":"f6grX64ePSxscAM8Y","bibbaseid":"iosif-rogalewicz-vojnar-decidingentailmentsininductiveseparationlogicwithtreeautomata-2014","downloads":0,"creationDate":"2016-02-18T16:18:13.051Z","title":"Deciding Entailments in Inductive Separation Logic with Tree Automata","author_short":["Iosif, R.","Rogalewicz, A.","Vojnar, T."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/atva/IosifRV14","bibdata":{"title":"Deciding Entailments in Inductive Separation Logic with Tree Automata","author":["Radu Iosif","Adam Rogalewicz","Tomás Vojnar"],"author_short":["Iosif, R.","Rogalewicz, A.","Vojnar, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1945716","id":"dblp1945716","biburl":"http://www.dblp.org/rec/bibtex/conf/atva/IosifRV14","url":"http://dx.doi.org/10.1007/978-3-319-11936-6_15","conference":"ATVA","pages":"201-218","text":"ATVA 2014:201-218","booktitle":"Proceedings of Automated Technology for Verification and Analysis (ATVA)","bibtex":"@inproceedings{ dblp1945716,\n title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},\n author = {Radu Iosif and Adam Rogalewicz and Tomás Vojnar},\n author_short = {Iosif, R. and Rogalewicz, A. and Vojnar, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1945716},\n id = {dblp1945716},\n biburl = {http://www.dblp.org/rec/bibtex/conf/atva/IosifRV14},\n url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},\n conference = {ATVA},\n pages = {201-218},\n text = {ATVA 2014:201-218},\n booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}\n}","bibbaseid":"iosif-rogalewicz-vojnar-decidingentailmentsininductiveseparationlogicwithtreeautomata-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-11936-6_15"},"downloads":0,"html":""},"search_terms":["deciding","entailments","inductive","separation","logic","tree","automata","iosif","rogalewicz","vojnar"],"keywords":[],"authorIDs":[],"dataSources":["NdXQqDaD5edY4HHrK"]}