@inproceedings{DBLP:conf/lics/AcetoBV92,
  author    = {Luca Aceto and
               Bard Bloom and
               Frits W. Vaandrager},
  title     = {Turning {SOS} Rules into Equations},
  booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
               {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
  pages     = {113--124},
  year      = {1992},
  crossref  = {DBLP:conf/lics/1992},
  url       = {https://doi.org/10.1109/LICS.1992.185526},
  doi       = {10.1109/LICS.1992.185526},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/AcetoBV92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rWfBQtmX46HkhGKnY","bibbaseid":"aceto-bloom-vaandrager-turningsosrulesintoequations-1992","downloads":0,"creationDate":"2016-02-18T15:10:12.585Z","title":"Turning SOS Rules into Equations","author_short":["Aceto, L.","Bloom, B.","Vaandrager, F. W."],"year":1992,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Bard"],"propositions":[],"lastnames":["Bloom"],"suffixes":[]},{"firstnames":["Frits","W."],"propositions":[],"lastnames":["Vaandrager"],"suffixes":[]}],"title":"Turning SOS Rules into Equations","booktitle":"Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992","pages":"113–124","year":"1992","crossref":"DBLP:conf/lics/1992","url":"https://doi.org/10.1109/LICS.1992.185526","doi":"10.1109/LICS.1992.185526","timestamp":"Wed, 13 Feb 2019 11:42:19 +0100","biburl":"https://dblp.org/rec/bib/conf/lics/AcetoBV92","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/AcetoBV92,\n author = {Luca Aceto and\n Bard Bloom and\n Frits W. Vaandrager},\n title = {Turning {SOS} Rules into Equations},\n booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science\n {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},\n pages = {113--124},\n year = {1992},\n crossref = {DBLP:conf/lics/1992},\n url = {https://doi.org/10.1109/LICS.1992.185526},\n doi = {10.1109/LICS.1992.185526},\n timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},\n biburl = {https://dblp.org/rec/bib/conf/lics/AcetoBV92},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Bloom, B.","Vaandrager, F. W."],"key":"DBLP:conf/lics/AcetoBV92","id":"DBLP:conf/lics/AcetoBV92","bibbaseid":"aceto-bloom-vaandrager-turningsosrulesintoequations-1992","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.1992.185526"},"downloads":0},"search_terms":["turning","sos","rules","equations","aceto","bloom","vaandrager"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}