@article{ dblp2631624,
  title = {Abstract regular (tree) model checking},
  author = {Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and Tomás Vojnar},
  author_short = {Bouajjani, A. and Habermehl, P. and Rogalewicz, A. and Vojnar, T.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2631624},
  id = {dblp2631624},
  biburl = {http://www.dblp.org/rec/bibtex/journals/sttt/BouajjaniHRV12},
  url = {http://dx.doi.org/10.1007/s10009-011-0205-y},
  journal = {STTT},
  pages = {167-191},
  number = {2},
  volume = {14},
  text = {STTT 14(2):167-191 (2012)}
}

{"_id":"xH2pKoK3DwErgMsXm","bibbaseid":"bouajjani-habermehl-rogalewicz-vojnar-abstractregulartreemodelchecking-2012","downloads":0,"creationDate":"2016-02-18T16:18:13.066Z","title":"Abstract regular (tree) model checking","author_short":["Bouajjani, A.","Habermehl, P.","Rogalewicz, A.","Vojnar, T."],"year":2012,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sttt/BouajjaniHRV12","bibdata":{"title":"Abstract regular (tree) model checking","author":["Ahmed Bouajjani","Peter Habermehl","Adam Rogalewicz","Tomás Vojnar"],"author_short":["Bouajjani, A.","Habermehl, P.","Rogalewicz, A.","Vojnar, T."],"bibtype":"article","type":"article","year":"2012","key":"dblp2631624","id":"dblp2631624","biburl":"http://www.dblp.org/rec/bibtex/journals/sttt/BouajjaniHRV12","url":"http://dx.doi.org/10.1007/s10009-011-0205-y","journal":"STTT","pages":"167-191","number":"2","volume":"14","text":"STTT 14(2):167-191 (2012)","bibtex":"@article{ dblp2631624,\n title = {Abstract regular (tree) model checking},\n author = {Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and Tomás Vojnar},\n author_short = {Bouajjani, A. and Habermehl, P. and Rogalewicz, A. and Vojnar, T.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2631624},\n id = {dblp2631624},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sttt/BouajjaniHRV12},\n url = {http://dx.doi.org/10.1007/s10009-011-0205-y},\n journal = {STTT},\n pages = {167-191},\n number = {2},\n volume = {14},\n text = {STTT 14(2):167-191 (2012)}\n}","bibbaseid":"bouajjani-habermehl-rogalewicz-vojnar-abstractregulartreemodelchecking-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10009-011-0205-y"},"downloads":0},"search_terms":["abstract","regular","tree","model","checking","bouajjani","habermehl","rogalewicz","vojnar"],"keywords":[],"authorIDs":[],"dataSources":["F8vRGaHZM6Ad4xD4n"]}