Olav P. Henschel

	2012
2		Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos: On ESL verification of memory consistency for system-on-chip multiprocessing. DATE 2012: 9-14
	2011
1		Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos: Automatic generation of memory consistency tests for chip multiprocessing. ICECS 2011: 542-545

Coauthor Index

1	Eberle A. Rambo	[1] [2]
2	Luiz C. V. dos Santos	[1] [2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page