Andreas J. Drexler

	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]
2	Alan J. Hu	[1] [2]
3	C. Han Yang	[1] [2]