@article{ dblp1972281,
  title = {Abstraction Refinement for Trace Inclusion of Data Automata},
  author = {Radu Iosif and Adam Rogalewicz and Tomás Vojnar},
  author_short = {Iosif, R. and Rogalewicz, A. and Vojnar, T.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1972281},
  id = {dblp1972281},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/IosifRV14a},
  url = {http://arxiv.org/abs/1410.5056},
  journal = {CoRR},
  volume = {abs/1410.5056},
  text = {CoRR abs/1410.5056 (2014)}
}

{"_id":"mW7EeTokKmfDXKReA","bibbaseid":"iosif-rogalewicz-vojnar-abstractionrefinementfortraceinclusionofdataautomata-2014","downloads":0,"creationDate":"2016-02-18T16:18:13.053Z","title":"Abstraction Refinement for Trace Inclusion of Data Automata","author_short":["Iosif, R.","Rogalewicz, A.","Vojnar, T."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/IosifRV14a","bibdata":{"title":"Abstraction Refinement for Trace Inclusion of Data Automata","author":["Radu Iosif","Adam Rogalewicz","Tomás Vojnar"],"author_short":["Iosif, R.","Rogalewicz, A.","Vojnar, T."],"bibtype":"article","type":"article","year":"2014","key":"dblp1972281","id":"dblp1972281","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/IosifRV14a","url":"http://arxiv.org/abs/1410.5056","journal":"CoRR","volume":"abs/1410.5056","text":"CoRR abs/1410.5056 (2014)","bibtex":"@article{ dblp1972281,\n title = {Abstraction Refinement for Trace Inclusion of Data Automata},\n author = {Radu Iosif and Adam Rogalewicz and Tomás Vojnar},\n author_short = {Iosif, R. and Rogalewicz, A. and Vojnar, T.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1972281},\n id = {dblp1972281},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/IosifRV14a},\n url = {http://arxiv.org/abs/1410.5056},\n journal = {CoRR},\n volume = {abs/1410.5056},\n text = {CoRR abs/1410.5056 (2014)}\n}","bibbaseid":"iosif-rogalewicz-vojnar-abstractionrefinementfortraceinclusionofdataautomata-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1410.5056"},"downloads":0},"search_terms":["abstraction","refinement","trace","inclusion","data","automata","iosif","rogalewicz","vojnar"],"keywords":[],"authorIDs":[],"dataSources":["XGw8dqKjQtnBviprD"]}