Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar. Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica, 53(4):357-385, 2016. [doi]
@article{AbdullaHJLTV16,
title = {Verification of heap manipulating programs with ordered data by extended forest automata},
author = {Parosh Aziz Abdulla and Lukás Holík and Bengt Jonsson and Ondrej Lengál and Cong Quy Trinh and Tomás Vojnar},
year = {2016},
doi = {10.1007/s00236-015-0235-0},
url = {http://dx.doi.org/10.1007/s00236-015-0235-0},
researchr = {https://researchr.org/publication/AbdullaHJLTV16},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {53},
number = {4},
pages = {357-385},
}