Kyle L. Nelson

	2000
3		Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk: A methodology for formal design of hardware control with application to cache coherence protocols. DAC 2000: 724-729
	1997
2		Kyle L. Nelson, Alok Jain, Randal E. Bryant: Formal Verification of a Superscalar Execution Unit. DAC 1997: 161-166
	1996
1		Alok Jain, Kyle L. Nelson, Randal E. Bryant: Verifying Nondeterministic Implementations of Deterministic Systems. FMCAD 1996: 109-125

Coauthor Index

1	Randal E. Bryant	[1] [2]
2	Cindy Eisner	[3]
3	Russ Hoover	[3]
4	Alok Jain	[1] [2]
5	Wayne G. Nation	[3]
6	Irit Shitsevalov	[3]
7	Ken Valk	[3]

Colors in the list of coauthors