| |
| 2008 | ||
|---|---|---|
| 1 | EE | Hao Zheng, Jared Ahrens, Tian Xia: A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1343-1347 (2008) |
| 1 | Tian Xia | [1] |
| 2 | Hao Zheng | [1] |