dblp.uni-trier.dewww.uni-trier.de

Dietmar Heinz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Ken Gray [1] [2] [3]
2John S. MacBeth [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)