Udo Krautz

	2008
2		Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz: Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. ASP-DAC 2008: 398-403
	2006
1		Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus: Evaluating coverage of error detection logic for soft errors using formal methods. DATE 2006: 176-181

Coauthor Index

1	Christian Jacobi	[1] [2]
2	Wolfgang Kunz	[2]
3	Matthias Pflanz	[1] [2]
4	Hans-Werner Tast	[1]
5	Heinrich Theodor Vierhaus	[1]
6	Kai Weber	[1] [2]
7	Markus Wedler	[2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page