|
Search the dblp DataBase
C. Han Yang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang
Higher-Level Specification and Verification with BDDs. [Citation Graph (0, 0)][DBLP] CAV, 1992, pp:82-95 [Conf]
- C. Han Yang, David L. Dill
Validation with Guided Search of the State Space. [Citation Graph (0, 0)][DBLP] DAC, 1998, pp:599-604 [Conf]
- David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang
Protocol Verification as a Hardware Design Aid. [Citation Graph (0, 0)][DBLP] ICCD, 1992, pp:522-525 [Conf]
- Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill
Architecture Validation for Processors. [Citation Graph (0, 0)][DBLP] ISCA, 1995, pp:404-413 [Conf]
Search in 0.002secs, Finished in 0.002secs
|