Ken Gray

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 John S. MacBeth, Dietmar Heinz, Ken Gray: An Assembler Driven Verification Methodology (ADVM) CoRR abs/0710.4852: (2007)

2004

1 John S. MacBeth, Dietmar Heinz, Ken Gray: An Assembler Driven Verification Methodology (ADVM). DATE 2004: 278-283

	2007
2		John S. MacBeth, Dietmar Heinz, Ken Gray: An Assembler Driven Verification Methodology (ADVM) CoRR abs/0710.4852: (2007)
	2004
1		John S. MacBeth, Dietmar Heinz, Ken Gray: An Assembler Driven Verification Methodology (ADVM). DATE 2004: 278-283

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page