@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)}
}

{"_id":"EDTZXwjtKuuDCMTRS","bibbaseid":"holk-lengl-rogalewicz-simcek-vojnar-fullyautomatedshapeanalysisbasedonforestautomata-2013","downloads":0,"creationDate":"2016-02-18T16:18:13.060Z","title":"Fully Automated Shape Analysis Based on Forest Automata","author_short":["Holík, L.","Lengál, O.","Rogalewicz, A.","Simácek, J.","Vojnar, T."],"year":2013,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1304-5806","bibdata":{"title":"Fully Automated Shape Analysis Based on Forest Automata","author":["Lukás Holík","Ondrej Lengál","Adam Rogalewicz","Jirí Simácek","Tomás Vojnar"],"author_short":["Holík, L.","Lengál, O.","Rogalewicz, A.","Simácek, J.","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)","bibtex":"@article{ dblp2224222,\n title = {Fully Automated Shape Analysis Based on Forest Automata},\n author = {Lukás Holík and Ondrej Lengál and Adam Rogalewicz and Jirí Simácek and Tomás Vojnar},\n author_short = {Holík, L. and Lengál, O. and Rogalewicz, A. and Simácek, J. and Vojnar, T.},\n bibtype = {article},\n type = {article},\n year = {2013},\n key = {dblp2224222},\n id = {dblp2224222},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1304-5806},\n url = {http://arxiv.org/abs/1304.5806},\n journal = {CoRR},\n volume = {abs/1304.5806},\n text = {CoRR abs/1304.5806 (2013)}\n}","bibbaseid":"holk-lengl-rogalewicz-simcek-vojnar-fullyautomatedshapeanalysisbasedonforestautomata-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1304.5806"},"downloads":0,"html":""},"search_terms":["fully","automated","shape","analysis","based","forest","automata","holík","lengál","rogalewicz","simácek","vojnar"],"keywords":[],"authorIDs":[],"dataSources":["NtBYfhz7si3CtSEAh"]}