@article{DBLP:journals/iandc/AbramskyAI01,
  author    = {Samson Abramsky and
               Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {Corrigendum: {A} Domain Equation for Bisimulation: Volume 92 Number
               2 (1991), pages 161-218},
  journal   = {Inf. Comput.},
  volume    = {165},
  number    = {2},
  pages     = {119--122},
  year      = {2001},
  url       = {https://doi.org/10.1006/inco.2001.2909},
  doi       = {10.1006/inco.2001.2909},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/AbramskyAI01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Zf75DR6Bqy9fvwgLT","bibbaseid":"abramsky-aceto-inglfsdttir-corrigendumadomainequationforbisimulationvolume92number21991pages161218-2001","downloads":0,"creationDate":"2016-02-18T15:10:12.489Z","title":"Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218","author_short":["Abramsky, S.","Aceto, L.","Ingólfsdóttir, A."],"year":2001,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Samson"],"propositions":[],"lastnames":["Abramsky"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218","journal":"Inf. Comput.","volume":"165","number":"2","pages":"119–122","year":"2001","url":"https://doi.org/10.1006/inco.2001.2909","doi":"10.1006/inco.2001.2909","timestamp":"Wed, 14 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/iandc/AbramskyAI01","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/AbramskyAI01,\n author = {Samson Abramsky and\n Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {Corrigendum: {A} Domain Equation for Bisimulation: Volume 92 Number\n 2 (1991), pages 161-218},\n journal = {Inf. Comput.},\n volume = {165},\n number = {2},\n pages = {119--122},\n year = {2001},\n url = {https://doi.org/10.1006/inco.2001.2909},\n doi = {10.1006/inco.2001.2909},\n timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/iandc/AbramskyAI01},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Abramsky, S.","Aceto, L.","Ingólfsdóttir, A."],"key":"DBLP:journals/iandc/AbramskyAI01","id":"DBLP:journals/iandc/AbramskyAI01","bibbaseid":"abramsky-aceto-inglfsdttir-corrigendumadomainequationforbisimulationvolume92number21991pages161218-2001","role":"author","urls":{"Paper":"https://doi.org/10.1006/inco.2001.2909"},"downloads":0},"search_terms":["corrigendum","domain","equation","bisimulation","volume","number","1991","pages","161","218","abramsky","aceto","ingólfsdóttir"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}