@inproceedings{DBLP:conf/arvlsi/MyersRM95,
  author    = {Chris J. Myers and
               Tomas Rokicki and
               Teresa H. Y. Meng},
  title     = {Automatic synthesis of gate-level timed circuits with choice},
  booktitle = {16th Conference on Advanced Research in {VLSI} {(ARVLSI} '95), March
               27-29, 1995, Chapel Hill, North Carolina, {USA}},
  pages     = {42--58},
  year      = {1995},
  crossref  = {DBLP:conf/arvlsi/1995},
  url       = {https://doi.org/10.1109/ARVLSI.1995.515610},
  doi       = {10.1109/ARVLSI.1995.515610},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arvlsi/MyersRM95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6dDuAvvzK3qt22vgn","bibbaseid":"myers-rokicki-meng-automaticsynthesisofgateleveltimedcircuitswithchoice-1995","authorIDs":[],"author_short":["Myers, C. J.","Rokicki, T.","Meng, T. H. Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chris","J."],"propositions":[],"lastnames":["Myers"],"suffixes":[]},{"firstnames":["Tomas"],"propositions":[],"lastnames":["Rokicki"],"suffixes":[]},{"firstnames":["Teresa","H.","Y."],"propositions":[],"lastnames":["Meng"],"suffixes":[]}],"title":"Automatic synthesis of gate-level timed circuits with choice","booktitle":"16th Conference on Advanced Research in VLSI (ARVLSI '95), March 27-29, 1995, Chapel Hill, North Carolina, USA","pages":"42–58","year":"1995","crossref":"DBLP:conf/arvlsi/1995","url":"https://doi.org/10.1109/ARVLSI.1995.515610","doi":"10.1109/ARVLSI.1995.515610","timestamp":"Wed, 16 Oct 2019 14:14:50 +0200","biburl":"https://dblp.org/rec/bib/conf/arvlsi/MyersRM95","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/arvlsi/MyersRM95,\n author = {Chris J. Myers and\n Tomas Rokicki and\n Teresa H. Y. Meng},\n title = {Automatic synthesis of gate-level timed circuits with choice},\n booktitle = {16th Conference on Advanced Research in {VLSI} {(ARVLSI} '95), March\n 27-29, 1995, Chapel Hill, North Carolina, {USA}},\n pages = {42--58},\n year = {1995},\n crossref = {DBLP:conf/arvlsi/1995},\n url = {https://doi.org/10.1109/ARVLSI.1995.515610},\n doi = {10.1109/ARVLSI.1995.515610},\n timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},\n biburl = {https://dblp.org/rec/bib/conf/arvlsi/MyersRM95},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Myers, C. J.","Rokicki, T.","Meng, T. H. Y."],"key":"DBLP:conf/arvlsi/MyersRM95","id":"DBLP:conf/arvlsi/MyersRM95","bibbaseid":"myers-rokicki-meng-automaticsynthesisofgateleveltimedcircuitswithchoice-1995","role":"author","urls":{"Paper":"https://doi.org/10.1109/ARVLSI.1995.515610"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-11-14T21:37:03.912Z","downloads":0,"keywords":[],"search_terms":["automatic","synthesis","gate","level","timed","circuits","choice","myers","rokicki","meng"],"title":"Automatic synthesis of gate-level timed circuits with choice","year":1995,"dataSources":["L6BLFSB28hKk5Nt67"]}