Tobias Nopper

	2008
3		Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
	2007
2		Tobias Nopper, Christoph Scholl, Bernd Becker: Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280
	2004
1		Tobias Nopper, Christoph Scholl: Approximate Symbolic Model Checking for Incomplete Designs. FMCAD 2004: 290-305

Coauthor Index

1	Bernd Becker	[2] [3]
2	Marc Herbstritt	[3]
3	Natalia Kalinnik	[3]
4	Matthew D. T. Lewis	[3]
5	Juri Lichtner	[3]
6	Christoph Scholl	[1] [2]
7	Ralf Wimmer	[3]