@inproceedings{conf/iccd/Chu92,
  added-at = {2014-09-22T00:00:00.000+0200},
  author = {Chu, Tam-Anh},
  biburl = {http://www.bibsonomy.org/bibtex/27811a35b2edc3dfc222ee7312da583fc/dblp},
  booktitle = {ICCD},
  crossref = {conf/iccd/1992},
  ee = {http://dx.doi.org/10.1109/ICCD.1992.276302},
  interhash = {a2beb66c82ebd66a62542d6b628226a7},
  intrahash = {7811a35b2edc3dfc222ee7312da583fc},
  isbn = {0-8186-3110-4},
  keywords = {dblp},
  pages = {407-413},
  publisher = {IEEE Computer Society},
  timestamp = {2015-06-19T09:29:23.000+0200},
  title = {Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications.},
  url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1992.html#Chu92},
  year = 1992
}

{"_id":"a2X3RzR2Qj8tgKJEs","bibbaseid":"chu-automaticsynthesisandverificationofhazardfreecontrolcircuitsfromasynchronousfinitestatemachinespecifications-1992","downloads":0,"creationDate":"2016-07-21T11:38:58.742Z","title":"Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications.","author_short":["Chu, T."],"year":1992,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Tam?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2014-09-22T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Chu"],"firstnames":["Tam-Anh"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/27811a35b2edc3dfc222ee7312da583fc/dblp","booktitle":"ICCD","crossref":"conf/iccd/1992","ee":"http://dx.doi.org/10.1109/ICCD.1992.276302","interhash":"a2beb66c82ebd66a62542d6b628226a7","intrahash":"7811a35b2edc3dfc222ee7312da583fc","isbn":"0-8186-3110-4","keywords":"dblp","pages":"407-413","publisher":"IEEE Computer Society","timestamp":"2015-06-19T09:29:23.000+0200","title":"Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications.","url":"http://dblp.uni-trier.de/db/conf/iccd/iccd1992.html#Chu92","year":"1992","bibtex":"@inproceedings{conf/iccd/Chu92,\n added-at = {2014-09-22T00:00:00.000+0200},\n author = {Chu, Tam-Anh},\n biburl = {http://www.bibsonomy.org/bibtex/27811a35b2edc3dfc222ee7312da583fc/dblp},\n booktitle = {ICCD},\n crossref = {conf/iccd/1992},\n ee = {http://dx.doi.org/10.1109/ICCD.1992.276302},\n interhash = {a2beb66c82ebd66a62542d6b628226a7},\n intrahash = {7811a35b2edc3dfc222ee7312da583fc},\n isbn = {0-8186-3110-4},\n keywords = {dblp},\n pages = {407-413},\n publisher = {IEEE Computer Society},\n timestamp = {2015-06-19T09:29:23.000+0200},\n title = {Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications.},\n url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1992.html#Chu92},\n year = 1992\n}\n\n","author_short":["Chu, T."],"key":"conf/iccd/Chu92","id":"conf/iccd/Chu92","bibbaseid":"chu-automaticsynthesisandverificationofhazardfreecontrolcircuitsfromasynchronousfinitestatemachinespecifications-1992","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/ICCD.1992.276302","Paper":"http://dblp.uni-trier.de/db/conf/iccd/iccd1992.html#Chu92"},"keyword":["dblp"],"downloads":0},"search_terms":["automatic","synthesis","verification","hazard","free","control","circuits","asynchronous","finite","state","machine","specifications","chu"],"keywords":["dblp"],"authorIDs":[],"dataSources":["GinAz5S4xTcJmhpWm"]}