Tam Anh Chu. Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992. pages 407-413, IEEE Computer Society, 1992.
@inproceedings{Chu92:1, title = {Automatic Synthesis and Verification of Hazard-Free Control Circuits from Asynchronous Finite State Machine Specifications}, author = {Tam Anh Chu}, year = {1992}, tags = {state machines}, researchr = {https://researchr.org/publication/Chu92%3A1}, cites = {0}, citedby = {0}, pages = {407-413}, booktitle = {Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992}, publisher = {IEEE Computer Society}, isbn = {0-8186-3110-4}, }