C. Han Yang

	1998
4		C. Han Yang, David L. Dill: Validation with Guided Search of the State Space. DAC 1998: 599-604
	1995
3		Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill: Architecture Validation for Processors. ISCA 1995: 404-413
	1992
2		Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang: Higher-Level Specification and Verification with BDDs. CAV 1992: 82-95
1		David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang: Protocol Verification as a Hardware Design Aid. ICCD 1992: 522-525

Coauthor Index

1	David L. Dill	[1] [2] [3] [4]
2	Andreas J. Drexler	[1] [2]
3	Richard C. Ho	[3]
4	Mark Horowitz	[3]
5	Alan J. Hu	[1] [2]