@article{DBLP:journals/ipl/AcetoI97,
  author    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {A Characterization of Finitary Bisimulation},
  journal   = {Inf. Process. Lett.},
  volume    = {64},
  number    = {3},
  pages     = {127--134},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0020-0190(97)00163-4},
  doi       = {10.1016/S0020-0190(97)00163-4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/AcetoI97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tHJq3uHzW3DCaTmGZ","bibbaseid":"aceto-inglfsdttir-acharacterizationoffinitarybisimulation-1997","downloads":0,"creationDate":"2016-02-18T15:10:12.511Z","title":"A Characterization of Finitary Bisimulation","author_short":["Aceto, L.","Ingólfsdóttir, A."],"year":1997,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"A Characterization of Finitary Bisimulation","journal":"Inf. Process. Lett.","volume":"64","number":"3","pages":"127–134","year":"1997","url":"https://doi.org/10.1016/S0020-0190(97)00163-4","doi":"10.1016/S0020-0190(97)00163-4","timestamp":"Fri, 26 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/ipl/AcetoI97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ipl/AcetoI97,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {A Characterization of Finitary Bisimulation},\n journal = {Inf. Process. Lett.},\n volume = {64},\n number = {3},\n pages = {127--134},\n year = {1997},\n url = {https://doi.org/10.1016/S0020-0190(97)00163-4},\n doi = {10.1016/S0020-0190(97)00163-4},\n timestamp = {Fri, 26 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/ipl/AcetoI97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A."],"key":"DBLP:journals/ipl/AcetoI97","id":"DBLP:journals/ipl/AcetoI97","bibbaseid":"aceto-inglfsdttir-acharacterizationoffinitarybisimulation-1997","role":"author","urls":{"Paper":"https://doi.org/10.1016/S0020-0190(97)00163-4"},"downloads":0},"search_terms":["characterization","finitary","bisimulation","aceto","ingólfsdóttir"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}