Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications. Chu, T. In ICCD, pages 407-413, 1992. IEEE Computer Society.
Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications. [link]Link  Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications. [link]Paper  bibtex   
@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
}

Downloads: 0