@article{ dblp2493708,
  title = {Forest automata for verification of heap manipulation},
  author = {Peter Habermehl and Lukás Holík and Adam Rogalewicz and Jirí Simácek and Tomás Vojnar},
  author_short = {Habermehl, P. and Holík, L. and Rogalewicz, A. and Simácek, J. and Vojnar, T.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2493708},
  id = {dblp2493708},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fmsd/HabermehlHRSV12},
  url = {http://dx.doi.org/10.1007/s10703-012-0150-8},
  journal = {Formal Methods in System Design (FMSD)},
  pages = {83-106},
  number = {1},
  volume = {41},
  text = {Formal Methods in System Design (FMSD) 41(1):83-106 (2012)}
}

{"_id":"aNBNXFwZpQHA259d4","bibbaseid":"habermehl-holk-rogalewicz-simcek-vojnar-forestautomataforverificationofheapmanipulation-2012","downloads":0,"creationDate":"2016-02-18T16:18:13.065Z","title":"Forest automata for verification of heap manipulation","author_short":["Habermehl, P.","Holík, L.","Rogalewicz, A.","Simácek, J.","Vojnar, T."],"year":2012,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fmsd/HabermehlHRSV12","bibdata":{"title":"Forest automata for verification of heap manipulation","author":["Peter Habermehl","Lukás Holík","Adam Rogalewicz","Jirí Simácek","Tomás Vojnar"],"author_short":["Habermehl, P.","Holík, L.","Rogalewicz, A.","Simácek, J.","Vojnar, T."],"bibtype":"article","type":"article","year":"2012","key":"dblp2493708","id":"dblp2493708","biburl":"http://www.dblp.org/rec/bibtex/journals/fmsd/HabermehlHRSV12","url":"http://dx.doi.org/10.1007/s10703-012-0150-8","journal":"Formal Methods in System Design (FMSD)","pages":"83-106","number":"1","volume":"41","text":"Formal Methods in System Design (FMSD) 41(1):83-106 (2012)","bibtex":"@article{ dblp2493708,\n title = {Forest automata for verification of heap manipulation},\n author = {Peter Habermehl and Lukás Holík and Adam Rogalewicz and Jirí Simácek and Tomás Vojnar},\n author_short = {Habermehl, P. and Holík, L. and Rogalewicz, A. and Simácek, J. and Vojnar, T.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2493708},\n id = {dblp2493708},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fmsd/HabermehlHRSV12},\n url = {http://dx.doi.org/10.1007/s10703-012-0150-8},\n journal = {Formal Methods in System Design (FMSD)},\n pages = {83-106},\n number = {1},\n volume = {41},\n text = {Formal Methods in System Design (FMSD) 41(1):83-106 (2012)}\n}","bibbaseid":"habermehl-holk-rogalewicz-simcek-vojnar-forestautomataforverificationofheapmanipulation-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10703-012-0150-8"},"downloads":0},"search_terms":["forest","automata","verification","heap","manipulation","habermehl","holík","rogalewicz","simácek","vojnar"],"keywords":[],"authorIDs":[],"dataSources":["i7LFfsWMCiZKKa4vm"]}