Tam Anh Chu, Narayana Mani, Clement K. C. Leung
An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines
DAC, 1993.
@inproceedings{DAC-1993-ChuML, author = "Tam Anh Chu and Narayana Mani and Clement K. C. Leung", booktitle = "{Proceedings of the 30th Design Automation Conference}", doi = "10.1145/157485.157569", isbn = "0-89791-577-1", pages = "2--6", publisher = "{ACM Press}", title = "{An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines}", year = 1993, }