Haiqiong Yao, Hao Zheng 0001, Chris J. Myers. State space reductions for scalable verification of asynchronous designs. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010. pages 17-24, IEEE, 2010. [doi]
@inproceedings{YaoZM10,
title = {State space reductions for scalable verification of asynchronous designs},
author = {Haiqiong Yao and Hao Zheng 0001 and Chris J. Myers},
year = {2010},
doi = {10.1109/HLDVT.2010.5496666},
url = {http://dx.doi.org/10.1109/HLDVT.2010.5496666},
researchr = {https://researchr.org/publication/YaoZM10},
cites = {0},
citedby = {0},
pages = {17-24},
booktitle = {IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010},
publisher = {IEEE},
}