Hong-Guang Ren, Zhi-Ying Wang, Doug Edwards. Structure-Based Deadlock Checking of Asynchronous Circuits. J. Comput. Sci. Technol., 26(6):1031-1040, 2011. [doi]
@article{RenWE11, title = {Structure-Based Deadlock Checking of Asynchronous Circuits}, author = {Hong-Guang Ren and Zhi-Ying Wang and Doug Edwards}, year = {2011}, doi = {10.1007/s11390-011-1199-3}, url = {http://dx.doi.org/10.1007/s11390-011-1199-3}, researchr = {https://researchr.org/publication/RenWE11}, cites = {0}, citedby = {0}, journal = {J. Comput. Sci. Technol.}, volume = {26}, number = {6}, pages = {1031-1040}, }