Fully Automated Shape Analysis Based on Forest Automata. Holík, L., Lengál, O., Rogalewicz, A., Simácek, J., & Vojnar, T. CoRR, 2013.
Fully Automated Shape Analysis Based on Forest Automata [link]Paper  bibtex   
@article{ dblp2224222,
  title = {Fully Automated Shape Analysis Based on Forest Automata},
  author = {Lukás Holík and Ondrej Lengál and Adam Rogalewicz and Jirí Simácek and Tomás Vojnar},
  author_short = {Holík, L. and Lengál, O. and Rogalewicz, A. and Simácek, J. and Vojnar, T.},
  bibtype = {article},
  type = {article},
  year = {2013},
  key = {dblp2224222},
  id = {dblp2224222},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1304-5806},
  url = {http://arxiv.org/abs/1304.5806},
  journal = {CoRR},
  volume = {abs/1304.5806},
  text = {CoRR abs/1304.5806 (2013)}
}

Downloads: 0